mdr

ascii-graphs

Parse ASCII art diagrams of graphs (nodes and edges)

mash

An experimental object shell for Unix

scalariform-maven-plugin

Maven plugin for Scalariform, a Scala code formatter

aoc-2022

misc-mini-langs

Scala implementation of several toy programming languages, including lambda calculus, combinatory logic, a couple of TAPL languages, a "while" language

ajd

Alternative Json4s Deserializer

aoc

Advent of Code

aoc-2020

Advent of Code 2020 solutions

create-react-app

Create React apps with no build configuration.

dependently-typed-lambda-calculus

eff

Eff monad for cats - http://atnos-org.github.io/eff

gitignore

A collection of useful .gitignore templates

homebrew-mash

Homebrew formula for mash

idris2-tutorial

jgit-cookbook

Provides examples and code snippets for the JGit Java Git implementation

ktor

Framework for quickly creating connected applications in Kotlin with minimal effort

llama-wars

lsh

Simple shell implementation. Tutorial here ->

MGS-domain-theory

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

natural-deduction

Natural deduction style proof calculus

nixpkgs

Nix Packages collection

ogg-toe-puss

Ogg container visualiser

play-ws-standalone-json4s

pocket-scat

Dodgy flutter app inspired by Partidge in your Pocket

promise-rejection-oddity

tfjs-models

Pretrained models for TensorFlow.js

traefik

The Cloud Native Edge Router

trt

Test Reporty Thing

vad-the-impaler

web-sampler