rgrinberg Goto Github PK
Name: Rudi Grinberg
Type: User
Twitter: rgrinb
Location: Toronto
Blog: http://rgrinberg.com
Rudi Grinberg's Projects
github-review
Github code reviews with Emacs.
glassproxy
save any notifications from the playground proxy
goji
An OCaml bindings generator for JavaScript libraries
google-drive-ocamlfuse
FUSE filesystem over Google Drive
grenier
Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
gsl-ocaml
OCaml bindings to the GSL (GNU Scientific Library).
hamsterdam
Immutable Struct-like record structures based on Hamster.
hamt
Ideal Hash Array Mapped Tries: an Erlang functional datatype
haskell-optparse-generic-library
Auto-generate a command-line parser for your datatype
hdevtools
Persistent GHC-powered background server for FAST haskell development tools
helm-hunks.el
A helm interface for git hunks
higher-alg
An approach to higher algebra in type theory
hobbes
A cross-platform file activity monitor
homebrew-core
🍻 Default formulae for the missing package manager for macOS
html5-desktop-notifications
Desktop notifications plugin for Chrome, Safari, Firefox and IE9+
httpotion
The HTTP client for Elixir
hub
hub helps you win at git.
humane-re
The human friendly interface to ocaml-re
hws
A workspace manager for hackers
hystrix
Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries, stop cascading failure and enable resilience in complex distributed systems where failure is inevitable.
ideavim
Vim emulation plug-in for IDEs based on the IntelliJ platform.
interactiontrees
A Library for Representing Recursive and Impure Programs in Coq
inuit
Make interactive text-oriented user-interfaces for OCaml
io-page
IO memory page library for Mirage backends
io-streams
Simple, composable, and easy-to-use stream I/O for Haskell
iocaml
An OCaml kernel for the IPython notebook
iocamljs
An OCaml javascript kernel for the IPython notebook
iocamlserver
Web server for IOCaml
ion
Android Asynchronous Networking Made Easy
irmin-indexeddb
An Irmin backend for a web browser's IndexedDB store
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.