Pinned Repositories
algorithms
Collection of algorithms for your Elixirs
cam_oneliners
Collection of useful scripts/programs in University of Cambridge
datalog-crdt
Some CRDT implementations in Datalog
exalog
Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
gdb_presentation
lsp-lab
A simple setup for a VSCode extension and Haskell LSP server
refinement-types-seminar
Material for Liquid Haskell/refinement types seminar at Queens' College
temporalog
A Datalog extension to reason about time with CTL operators
vanillalog
A simple Datalog front-end, Haskell DSL, and intermediate representation
volpano-smith
A compile-time privacy enforcing language embedded in Haskell
madgen's Repositories
madgen/cam_oneliners
Collection of useful scripts/programs in University of Cambridge
madgen/algorithms
Collection of algorithms for your Elixirs
madgen/gdb_presentation
madgen/bddgen
Command line program to generate BDD graphics in DOT format from arbitrary propositional formula.
madgen/dtg-puppet
Puppet configuration for DTG services
madgen/fixman
madgen/history_surfer
Browse git history to find bugs
madgen/hnhome
Command line tool for browsing Hacker News homepage.
madgen/lets-build-a-compiler
Reimplementation of the compiler described in Jack Crenshaw's Let's Build a Compiler article series.
madgen/makedots_visaulizer
Visualizer for the segmented least squares micro challenge in University of Cambridge.
madgen/ruby-lint
Static code analysis for Ruby.
madgen/sonic-pi
The Live Coding Synth for Everyone
madgen/urop-2013-signups
Generic sign up sheet web application, intended for simplifying supervision scheduling.