Geoff Hulette's repositories
monad-supply
Support for computations which consume values from a (possibly infinite) supply.
coq-abstract-datatypes
Simple examples of how abstract datatypes work in Coq, especially how they can be equipped with "proof obligations" in Gallina.
coq-lattice
Working out lattice definitions in Coq
haskell-ffi-example
Examples using the Haskell 98 Standard FFI
ocaml_game_of_life
Conway's Game of Life written in OCaml and using SDL via the tsdl binding
basic_calculator_rs
Basic Calculator Implementation in Rust
cbench-vst
VST verification of programs from the cbench benchmark
dotfiles
My dotfiles
kickstart.nvim
A launch point for your personal nvim configuration
ocaml-monad
Very simple implementation of basic monad functions for some OCaml stdlib types.
ocaml-project-template
This template was adapted from Martin Jambon's excellent Dune starter kit.
ocaml-smtlib
An OCaml API for working with SMTLIB2
small-step
Small step semantics in Coq
software-foundations
Working through Software Foundations