stonebuddha

eopl

Essentials of Programming Languages, with OCaml implementations & Coq proofs

tree-sitter-sml

Standard ML Grammar for Tree-sitter

sml-llvm

SML/NJ and MLton bindings for LLVM

vscode-better-sml

Standard ML Support for Visual Studio Code

GuideTypes

type-system-playground

The type systems are in the branches!

stonebuddha.github.io

NPA-PMA

Newtonian Program Analysis with Pre-Markov Algebras

sundries

base

Yet Another Standard Library for SML

ppl-opam

Repository for OPAM packages related to probabilistic programming

tomorrow-and-tomorrow-night-operator-mono-theme

base16-chinoiserie-scheme

A variant of tomorrow scheme for base16

base16-shell

Base16 for Shells

base16-vim

Base16 for Vim

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.

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

dune

A composable build system for OCaml.

GeneralTopologyNotes

homebrew-formulae

Homebrew formulae for some software-verification tools

libra

Libra’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.

MIRAI

Rust mid-level IR Abstract Interpreter

ocaml-interval

An interval library for OCaml

ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook

ocaml-matplotlib

Plotting for ocaml based on matplotlib.pyplot

ocaml-torch_ext

PyTorch bindings and probability distributions for OCaml

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

peloton

The Self-Driving Database Management System

pku-cs-self-learning

计算机自学指南

sv-opam

Repository for OPAM packages related to software verification