Ernest Ng's repositories
mica_case_studies
Case studies for Mica, a PPX that automates differential testing for OCaml modules
opam-repository
Main public package repository for opam, the source package manager of OCaml.
mica_tyche_utils
Utilities for visualizing Mica test results using Tyche
ngernest.github.io
Source code for ngernest.github.io
cs242-f19
Stanford's CS 242 PL course (Fall 2019)
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
ocaml-empty-project
An opinionated OCaml starter template repo
well-typed-term-generator
A OCaml generator for well-typed terms (that use their arguments).
ppx_derive_runtime_experiments
Minimal working example of the example code in Jane Street's ppx_derive_at_runtime library
defunc
"Defunctionalization at Work" (Danvy & Nielsen 2001)
pearlcheck
Code from "A simple incremental development of a property-based testing tool" (Braquehais et al. 2017)
modmod
A modular module system by Xavier Leroy
parser-combinator-class
Teaching materials on Parser Combinators, designed for UPenn's Intro to Haskell class
ocaml-ci
A CI for OCaml projects
pi-forall
A demo implementation of a simple dependently-typed language
terraform-demo
Terraform Demo
higher-rank-type-inference
Implementation of the Hindley-Damas-Milner type inference algorithm (described in the "Practical type inference for arbitrary-rank types" paper)
qcheck-stm
PBT testsuite and libraries for testing multicore OCaml
cis6700_lc_encodings
Materials for a lecture on λ calculus encodings (CIS 6700, Spring 2023)
base
Standard library for OCaml
book
V2 of Real World OCaml
effect-handler-tutorial
Concurrent Programming with Effect Handlers
church-rossser
Proof of the Church-Rosser theorem using locally nameless representation in Coq
metalib
The Penn Locally Nameless Metatheory Library