Pinned Repositories
sql-to-pandas
01-basics
02-higherorder
03-trees
04-classes
05-quickcheck
DRP_Fall_2020
Independent Study on Polya's Random Walk Theorem for Lattice Graphs and Electric Network Theory
mica
A PPX deriver that automates differential testing for OCaml modules
ocaml-empty-project
An opinionated OCaml starter template repo
parser-combinator-class
Teaching materials on Parser Combinators, designed for UPenn's Intro to Haskell class
ngernest's Repositories
ngernest/mica
A PPX deriver that automates differential testing for OCaml modules
ngernest/ocaml-empty-project
An opinionated OCaml starter template repo
ngernest/parser-combinator-class
Teaching materials on Parser Combinators, designed for UPenn's Intro to Haskell class
ngernest/08-monads
ngernest/09-state
ngernest/10-parsers
ngernest/100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
ngernest/11-transformers
ngernest/base
Standard library for OCaml
ngernest/book
V2 of Real World OCaml
ngernest/church-rossser
Proof of the Church-Rosser theorem using locally nameless representation in Coq
ngernest/cis196
ngernest/cis6700_lc_encodings
Materials for a lecture on λ calculus encodings (CIS 6700, Spring 2023)
ngernest/cs242-f19
Stanford's CS 242 PL course (Fall 2019)
ngernest/dc-demo
ngernest/defunc
"Defunctionalization at Work" (Danvy & Nielsen 2001)
ngernest/docker-demo
ngernest/effect-handler-tutorial
Concurrent Programming with Effect Handlers
ngernest/haskell-empty-project
ngernest/higher-rank-type-inference
Implementation of the Hindley-Damas-Milner type inference algorithm (described in the "Practical type inference for arbitrary-rank types" paper)
ngernest/metalib
The Penn Locally Nameless Metatheory Library
ngernest/modmod
A modular module system by Xavier Leroy
ngernest/ngernest.github.io
Source code for ngernest.github.io
ngernest/ocaml-ci
A CI for OCaml projects
ngernest/pearlcheck
Code from "A simple incremental development of a property-based testing tool" (Braquehais et al. 2017)
ngernest/pi-forall
A demo implementation of a simple dependently-typed language
ngernest/ppx_derive_runtime_experiments
Minimal working example of the example code in Jane Street's ppx_derive_at_runtime library
ngernest/qcheck-stm
PBT testsuite and libraries for testing multicore OCaml
ngernest/terraform-demo
Terraform Demo
ngernest/well-typed-term-generator
A OCaml generator for well-typed terms (that use their arguments).