Ben's repositories
haskell-matlab
Matlab bindings and interface for Haskell
gadts-talk
Materials for HaskellDC talk on GADTs
cardinality
Reasoning about finite type cardinality in Coq
coq-ext-lib
A library of Coq definitions, theorems, and tactics.
cryptopals
Solutions to the Matasano Crypto Challenges in Haskell
haskell-vect
Length-indexed lists for Haskell
mirror-core
A framework for extensible, reflective decision procedures.
coq-lean-cheatsheet
A quick reference for mapping Coq tactics to Lean tactics
crypto-project
Formal proof about pseudorandom generators with FCF
league-scheduler
Create schedules for head-to-head leagues
Language:Haskell000
overlapping-patterns
Overlapping pattern matching for programming with continuous functions
priority-map
Mutable Haskell data structure which combines a heap with a map to allow random heap access