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/07-GADTs
ngernest/06-persistent
ngernest/05-quickcheck
ngernest/04-classes
ngernest/03-trees
ngernest/02-higherorder
ngernest/01-basics
ngernest/URPS_Spring_2022
Independent Study on Graphon-Based Inhomogeneous Erdos-Renyi Random Graphs
ngernest/SCLearning
ngernest/ci-demo
A repo showing off GitHub Actions
ngernest/DRP_Fall_2020
Independent Study on Polya's Random Walk Theorem for Lattice Graphs and Electric Network Theory
ngernest/bolt
Bolt is a language with in-built data-race freedom!
ngernest/qcstm
A simple state-machine framework for OCaml based on QCheck
ngernest/sm2-tes21
'Functional Programming and Property-Based Testing' at SDU, Spring 2021
ngernest/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
ngernest/ocaml-testing-template
A template repo demonstrating OCaml tooling and testing
ngernest/model_quickcheck
Model_quickcheck: Model-based testing for imperative OCaml code
ngernest/articheck