rnml

Jane Street

Pinned Repositories

diff-logic
Incremental solver for difference equations
Language:OCaml20
enamel
My little functional language (WIP)
Language:Standard ML00
graph
functional graph algorithms
Language:OCaml10
hg-status-mode
Minimalist emacs major mode for viewing and editing hg repo status for the current directory.
Language:Emacs Lisp00
linear-solvers
Incremental linear arithmetic and linear regression solvers.
Language:OCaml10
paperless-org
Edit Paperless lists in Emacs org-mode
Language:OCaml00
sexp-query
grep-like tool for extracting info from s-expressions
Language:OCaml00
shell-file-mode
A way to maintain and run blocks of shell scripts from within emacs.
Language:Emacs Lisp4 1 13
typerep
Simple GADT for type reflection
Language:OCaml00
unbound
Library for defining syntax with binders
Language:Standard ML21

rnml's Repositories

rnml/shell-file-mode
A way to maintain and run blocks of shell scripts from within emacs.
Language:Emacs Lisp4 1 13
rnml/diff-logic
Incremental solver for difference equations
Language:OCaml20
rnml/unbound
Library for defining syntax with binders
Language:Standard ML21
rnml/graph
functional graph algorithms
Language:OCaml10
rnml/linear-solvers
Incremental linear arithmetic and linear regression solvers.
Language:OCaml10
rnml/enamel
My little functional language (WIP)
Language:Standard ML00
rnml/hg-status-mode
Minimalist emacs major mode for viewing and editing hg repo status for the current directory.
Language:Emacs Lisp00
rnml/paperless-org
Edit Paperless lists in Emacs org-mode
Language:OCaml00
rnml/sexp-query
grep-like tool for extracting info from s-expressions
Language:OCaml00
rnml/typerep
Simple GADT for type reflection
Language:OCaml00