matchbox

rest

A library for rewriting

logical-juggling

describe periodic (juggling) patterns in first-order logic and find models via constraint program...

ersatz-kissatapi

effects

An implementation of "Freer Monads, More Extensible Effects".

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

tagless

oleg modules

hs-to-coq

Convert Haskell source code to Coq source code.

Manifold

Another experiment in dependently typed languages, this time with some quantitative type theory s...

type-systems

modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

ersatz

A monad for interfacing with external SAT solvers

amsthm-to-anki

Translate math notes written with the amsthm package to Anki notecards!