8000 mrb (Michael Bernstein) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View mrb's full-sized avatar
🍕
Helping companies market and sell more software
🍕
Helping companies market and sell more software

Highlights

  • Pro

Block or report mrb

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Open Agentic Knowledge Repository

Python 138 7 Updated May 23, 2025

Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.

C++ 2,920 160 Updated May 23, 2025

Determined is an open-source machine learning platform that simplifies distributed training, hyperparameter tuning, experiment tracking, and resource management. Works with PyTorch and TensorFlow.

Go 3,140 364 Updated Mar 20, 2025

🕵️‍♀️ Find, filter, and sort your Ruby code's definitions & references

Ruby 347 6 Updated Aug 1, 2024

🦝 📦 a package registry for anything, but mostly javascript 🦝 🦝 🦝

JavaScript 5,281 151 Updated Jan 3, 2023

A microservice app that demonstrates the power of tilt

Go 50 6 Updated Apr 27, 2022

Elm 0.19.1, Webpack 5 & Tailwind

JavaScript 343 38 Updated Jan 28, 2025

Best Practices on Recommendation Systems

Python 20,248 3,203 Updated May 20, 2025

Statistics and graphs for 2-column csv files

Elm 2 Updated Feb 12, 2019

AWS Lambda Python runtime helpers for Architect apps

Python 14 7 Updated Dec 22, 2023

AWS Lambda Ruby runtime helpers for Architect apps

Ruby 2 3 Updated Apr 8, 2022

Define your dev environment as code. For microservice apps on Kubernetes.

Go 8,612 332 Updated May 22, 2025

A quick little macOS utility to make writing commit messages easier

Swift 45 1 Updated Oct 31, 2018

The simplest, most powerful way to build a functional web app (fwa)

JavaScript 2,585 102 Updated Apr 6, 2025

Distributed Stream Processing

Pony 1,481 68 Updated Apr 6, 2021

A vim plugin that runs the Code Climate CLI & displays the results in vim.

Vim Script 18 Updated Apr 28, 2017

Central volunteer and data portal

JavaScript 63 25 Updated Aug 16, 2016

codeclimate-shellcheck is a Code Climate engine that wraps ShellCheck

Haskell 15 9 Updated Sep 12, 2019

Erlang Backend for Idris Compiler

Haskell 188 15 Updated Jul 1, 2017

A monadic approach to static analysis following the methodology of AAM

Haskell 18 3 Updated Oct 31, 2015

beatsryetypes.com

HTML 1 1 Updated Jul 13, 2017

Official repository of the AWS SDK for PHP (@awsforphp)

PHP 6,116 1,231 Updated May 23, 2025

Compatibility with the password_* functions that ship with PHP 5.5

PHP 2,143 417 Updated Feb 5, 2024

papers of Per Martin Löf

TeX 781 69 Updated Jan 30, 2024 5F08

Guesses and gossip about counts

Ruby 49 1 Updated Dec 1, 2013

Prototype of a new constraint-logic programming language in Racket

Racket 28 1 Updated Sep 22, 2014

A demo implementation of a simple dependently-typed language

Haskell 592 91 Updated Nov 18, 2024

Collection of Idris tests and demonstration programs

Idris 192 13 Updated Apr 23, 2018

Implementations of various type systems in OCaml.

OCaml 1,578 72 Updated Aug 31, 2015

Dependently Typed Lambda Calculus in Haskell

Haskell 115 21 Updated Mar 8, 2021
Next
0