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/exalog
Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
madgen/datalog-crdt
Some CRDT implementations in Datalog
madgen/temporalog
A Datalog extension to reason about time with CTL operators
madgen/refinement-types-seminar
Material for Liquid Haskell/refinement types seminar at Queens' College
madgen/volpano-smith
A compile-time privacy enforcing language embedded in Haskell
madgen/vanillalog
A simple Datalog front-end, Haskell DSL, and intermediate representation
madgen/lsp-lab
A simple setup for a VSCode extension and Haskell LSP server
madgen/verified-leftist-heap
Verified leftist heap implementations in Haskell
madgen/all_my_failures
Runs a command for different files in parallel and gathering statistics depending on exit status.
madgen/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
madgen/dataflow-repair
Analysis for Datalog dataflow repair in MetaDL: Repairing Datalog in Datalog
madgen/dataflow-safe-by-construction
PoC for a dataflow-safe-by-construction Datalog implementation
madgen/debugging
Material from the debugging presentation
madgen/game-of-life
An adequate Game of Life implementation in Elm
madgen/goto-assignment
A proof-of-concept LSP implementation of goto-assignment navigation.
madgen/haskellweekly
Publishes curated news about the Haskell programming language.
madgen/haskellweekly.github.io
A free email newsletter about the Haskell programming language.
madgen/hie-bios
madgen/homebrew-core
🍻 Default formulae for the missing package manager for macOS
madgen/homebrew-science
:snowflake: Scientific formulae for Homebrew and Linuxbrew (legacy)
madgen/infilog
A Datalog to compute with infinite relations in finite time
madgen/machine-learning-for-programming-samples
Samples of ML models learning from source code
madgen/madgen.github.io
madgen/ml4code.github.io
Website for "A Survey of Machine Learning for Big Code and Naturalness"
madgen/monoid-extras
Miscellaneous constructions on monoids
madgen/ocaml
The core OCaml system: compilers, runtime system, base libraries
madgen/pandoc
Universal markup converter
madgen/pretty-print-precedence
Code for the blog post on pretty printing without redundant parentheses
madgen/protolog
A simple logic language implementation much like Prolog
madgen/vimtex
A modern vim plugin for editing LaTeX files.