Pinned Repositories
aoc-2022
ascii-graphs
Parse ASCII art diagrams of graphs (nodes and edges)
category-theory
escalade
A Scala clone of Castle Combat
inquisition
A Java quiz engine
mash
An experimental object shell for Unix
pomodoro4eclipse
Pomodoro timer plugin for Eclipse
sbt-jaxws
sbt plugin for JAX-WS
scalariform-maven-plugin
Maven plugin for Scalariform, a Scala code formatter
mdr's Repositories
mdr/ascii-graphs
Parse ASCII art diagrams of graphs (nodes and edges)
mdr/mash
An experimental object shell for Unix
mdr/scalariform-maven-plugin
Maven plugin for Scalariform, a Scala code formatter
mdr/aoc-2022
mdr/misc-mini-langs
Scala implementation of several toy programming languages, including lambda calculus, combinatory logic, a couple of TAPL languages, a "while" language
mdr/ajd
Alternative Json4s Deserializer
mdr/aoc
Advent of Code
mdr/aoc-2020
Advent of Code 2020 solutions
mdr/create-react-app
Create React apps with no build configuration.
mdr/dependently-typed-lambda-calculus
mdr/eff
Eff monad for cats - http://atnos-org.github.io/eff
mdr/gitignore
A collection of useful .gitignore templates
mdr/homebrew-mash
Homebrew formula for mash
mdr/idris2-tutorial
mdr/jgit-cookbook
Provides examples and code snippets for the JGit Java Git implementation
mdr/ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
mdr/llama-wars
mdr/lsh
Simple shell implementation. Tutorial here ->
mdr/MGS-domain-theory
Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
mdr/natural-deduction
Natural deduction style proof calculus
mdr/nixpkgs
Nix Packages collection
mdr/ogg-toe-puss
Ogg container visualiser
mdr/play-ws-standalone-json4s
mdr/pocket-scat
Dodgy flutter app inspired by Partidge in your Pocket
mdr/promise-rejection-oddity
mdr/tfjs-models
Pretrained models for TensorFlow.js
mdr/traefik
The Cloud Native Edge Router
mdr/trt
Test Reporty Thing
mdr/vad-the-impaler
mdr/web-sampler