Pinned Repositories
co-de-bruijn
documentator
Exploration of the design space for "(semi)automatic documentation" in haskell.
haskell-webapps
Proof-of-concept code for a typical webapp implemented in various Haskell libraries/frameworks
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
imageSplit
Cut horizontal stripes from book scans and use them in spaced repetition software
logicExperiments
Proof of concept prover for a restricted sequent calculus
preprocessor
Remove cpp annotations, to get the source ready for static analysis with a parsing library.
reif
Ulrich Newmerkel's library for reified if, as a prolog pack
unification-sop
Haskell package that implements typed terms with logical variables in a prolog-style
meditans's Repositories
meditans/conkeror
meditans/counterpoint
meditans/election-diagram
Tool for visualizing assigned seats to representatives.
meditans/haskellNotes
Snippet of files for self-study
meditans/monad-memo
Memoization monad transformer
meditans/nix-packaging
Local repository for my nix-packaged haskell things.
meditans/positive
Positive numbers
meditans/story