Pinned Repositories
eopl
Essentials of Programming Languages, with OCaml implementations & Coq proofs
GuideTypes
mini-fol
sml-llvm
SML/NJ and MLton bindings for LLVM
stonebuddha.github.io
tree-sitter-sml
Standard ML Grammar for Tree-sitter
type-system-playground
The type systems are in the branches!
uthread
User-Level Thread Library
vscode-better-sml
Standard ML Support for Visual Studio Code
YAL
Yet Another Language
stonebuddha's Repositories
stonebuddha/eopl
Essentials of Programming Languages, with OCaml implementations & Coq proofs
stonebuddha/tree-sitter-sml
Standard ML Grammar for Tree-sitter
stonebuddha/sml-llvm
SML/NJ and MLton bindings for LLVM
stonebuddha/vscode-better-sml
Standard ML Support for Visual Studio Code
stonebuddha/GuideTypes
stonebuddha/type-system-playground
The type systems are in the branches!
stonebuddha/stonebuddha.github.io
stonebuddha/NPA-PMA
Newtonian Program Analysis with Pre-Markov Algebras
stonebuddha/sundries
stonebuddha/base
Yet Another Standard Library for SML
stonebuddha/ppl-opam
Repository for OPAM packages related to probabilistic programming
stonebuddha/tomorrow-and-tomorrow-night-operator-mono-theme
stonebuddha/base16-chinoiserie-scheme
A variant of tomorrow scheme for base16
stonebuddha/base16-shell
Base16 for Shells
stonebuddha/base16-vim
Base16 for Vim
stonebuddha/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
stonebuddha/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
stonebuddha/dune
A composable build system for OCaml.
stonebuddha/GeneralTopologyNotes
stonebuddha/homebrew-formulae
Homebrew formulae for some software-verification tools
stonebuddha/libra
Libra’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.
stonebuddha/MIRAI
Rust mid-level IR Abstract Interpreter
stonebuddha/ocaml-interval
An interval library for OCaml
stonebuddha/ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
stonebuddha/ocaml-matplotlib
Plotting for ocaml based on matplotlib.pyplot
stonebuddha/ocaml-torch_ext
PyTorch bindings and probability distributions for OCaml
stonebuddha/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
stonebuddha/peloton
The Self-Driving Database Management System
stonebuddha/pku-cs-self-learning
计算机自学指南
stonebuddha/sv-opam
Repository for OPAM packages related to software verification