Laurel Carter's repositories
type-combinators
Type level lists, pairs, sums, their operations, and their properties.
string-typelits
A Haskell library providing type level 'String's, with decidable equality
type-combinators-quote
Quasiquoters for the 'type-combinators' library.
agda-prelude
Programming library for Agda
all-config
Initial config for bash, vim, etc.
babys-first-roguelike
This is my first roguelike, and my first game moreover.
blog-src
Hakyll source for kylcarte.github.io
cardelli
Implementation of Cardelli's unification algorithm
categories
Categories parametrized by morphism equality, in Agda
cmtt-deriv
Contextual Modal Type Theory in Haskell
derivation
Modular datatypes for representing and manipulating structured proof systems.
dynagraph
Haskell bindings to dynagraph, the C++ library for incremental graph layout and drawing.
Jekyll-Pithy
Pithy Jekyll Theme
jsaddle-sigma
jsaddle bindings to the sigma.js library for drawing networks.
kylcarte.github.io
Personal blog
mechs
A clone of Mech Arena? An abstraction? A reimplementation?
nominal
A formalization of Gabbay and Mathijssen's Nominal Algebra in Agda.
search-tree
Search tree without memoization, as per http://okmij.org/ftp/Haskell/index.html#memo-off
structures
Experiments with multi-level and modular datatypes in Haskell
svg-editor
a programmatic svg editor
taglib-api
A convenient layer over TagLib's C bindings
the-king-is-dead-abstraction
An abstraction of the TTRPG "The King is Dead", by D. Vincent Baker and Meguey Baker, from its original setting.
wonks.github.io
PL Wonks website