Pinned Repositories
aeson-gadt-th
beam-automigrate-dalaing-pr
Generated migrations for beam databases
category-printf
Highbrow approach to type-safe printf format specifications
daml-cert-capstone
database-id
dependent-map
Dependently-typed finite maps (partial dependent products)
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
my-lumatone-layouts
A collection of Lumatone layouts
postie
cgibbard's Repositories
cgibbard/my-lumatone-layouts
A collection of Lumatone layouts
cgibbard/postie
cgibbard/aeson-gadt-th
cgibbard/beam-automigrate-dalaing-pr
Generated migrations for beam databases
cgibbard/category-printf
Highbrow approach to type-safe printf format specifications
cgibbard/daml-cert-capstone
cgibbard/database-id
cgibbard/dependent-map
Dependently-typed finite maps (partial dependent products)
cgibbard/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
cgibbard/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
cgibbard/hw-app-obsidian-common
cgibbard/lumatone-hs
Haskell library for editing Lumatone configuration files
cgibbard/midifilter.lv2
LV2 plugins to filter midi events
cgibbard/pact
The Pact Smart Contract Language
cgibbard/reflex-platform
Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications.
cgibbard/rhyolite
cgibbard/striso-control-firmware
Firmware for the Striso board
cgibbard/surge
Synthesizer plug-in (previously released as Vember Audio Surge)
cgibbard/TerpstraSysEx.2014
Parametrization tool for the Lumatone keyboard (AKA Terpstra keyboard, second generation)
cgibbard/th-extras
A grab bag of useful functions for use with Template Haskell