Ernest Ng's repositories
pbt-bibliography
A collaborative bibliography of papers related to property-based testing
ngernest.github.io
Source code for ngernest.github.io
ocaml-empty-project
An opinionated OCaml starter template repo
mica_case_studies
Case studies for Mica, a PPX that automates differential testing for OCaml modules
parser-combinator-class
Teaching materials on Parser Combinators, designed for UPenn's Intro to Haskell class
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
attapl-inference
François Pottier's type inference engine from ATTAPL
cs242-f19
Stanford's CS 242 PL course (Fall 2019)
damien-kat
Relation algebra library for Coq
defunc
"Defunctionalization at Work" (Danvy & Nielsen 2001)
dromedary
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
grow-your-own-type-system
Implementations of various type systems in OCaml.
inferno-example
Elaborating ML into System F (example from François Pottier's ICFP '14 paper on Inferno)
mica_tyche_utils
Utilities for visualizing Mica test results using Tyche
modmod
A modular module system by Xavier Leroy
ocaml-ci
A CI for OCaml projects
opam-repository
Main public package repository for opam, the source package manager of OCaml.
pearlcheck
Code from "A simple incremental development of a property-based testing tool" (Braquehais et al. 2017)
ppx_derive_runtime_experiments
Minimal working example of the example code in Jane Street's ppx_derive_at_runtime library
semantic-sub-hs
Simple Semantic Subtyping in Haskell
simple-sub-records
Algebraic subtyping with extensible records
type-inference-example
Full Example Type Inference Implementation for thunderseethe.github.io
well-typed-term-generator
A OCaml generator for well-typed terms (that use their arguments).