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.
cmtt-deriv
Contextual Modal Type Theory in Haskell
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
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
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