laurmcarter Goto Github PK

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

cabal

Official upstream development repository for Cabal and cabal-install

cardelli

Implementation of Cardelli's unification algorithm

categories

Categories parametrized by morphism equality, in Agda

clay

A CSS preprocessor as embedded Haskell.

cmtt-deriv

Contextual Modal Type Theory in Haskell

cmw

conky-scheme

A simple DSL in scheme for writing and maintaining conky config files!

derivation

Modular datatypes for representing and manipulating structured proof systems.

diagrams-core

Core types and utilities

docs

dynagraph

Haskell bindings to dynagraph, the C++ library for incremental graph layout and drawing.

elm-johnny-five

finally-logical

A finally-tagless encoding of logical expressions

games

Little games, written in Haskell

ghc-from-source

A few small scripts for retrieving enough source to get ghc + cabal-install built

hagl

A Haskell DSEL for experimental game theory.

harihara

A web interface to your music library.

html-rules

Traversal-style transformations over HTML structures, using declarative sets of rules.

idris-dev

A Dependently Typed Functional Programming Language

ink-ui

ixfunctors

Indexed functors and all manner of variants.

jekyll-pithy

Pithy Jekyll Theme

jsaddle-sigma

jsaddle bindings to the sigma.js library for drawing networks.

knots

kylcarte.github.io

Personal blog

liblastfm

Lastfm API interface.