Richard Nathan Mishra-Linger (rnml)

rnml

Geek Repo

0

following

0

stars

Company:Jane Street

Github PK Tool:Github PK Tool

Richard Nathan Mishra-Linger's repositories

shell-file-mode

A way to maintain and run blocks of shell scripts from within emacs.

Language:Emacs LispStargazers:4Issues:1Issues:1

diff-logic

Incremental solver for difference equations

Language:OCamlStargazers:2Issues:0Issues:0

unbound

Library for defining syntax with binders

Language:Standard MLStargazers:2Issues:0Issues:0

graph

functional graph algorithms

Language:OCamlStargazers:1Issues:0Issues:0

linear-solvers

Incremental linear arithmetic and linear regression solvers.

Language:OCamlStargazers:1Issues:0Issues:0

enamel

My little functional language (WIP)

Language:Standard MLStargazers:0Issues:0Issues:0

hg-status-mode

Minimalist emacs major mode for viewing and editing hg repo status for the current directory.

Language:Emacs LispStargazers:0Issues:0Issues:0

paperless-org

Edit Paperless lists in Emacs org-mode

Language:OCamlStargazers:0Issues:0Issues:0

sexp-query

grep-like tool for extracting info from s-expressions

Language:OCamlStargazers:0Issues:0Issues:0

typerep

Simple GADT for type reflection

Language:OCamlStargazers:0Issues:0Issues:0