JambroBeamerTheme

CS316 "Functional Programming" lecture notes

Easily zwift on linux

agda-mode for neovim

A library for creating and managing serialized trees.

A repository for material from the reading group on NbE

Chan-style sized types for Idris 2, including a max operator

Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.

Reproducing results in papers to understand them.

I wanted to make a nicer sticker for Munihac, then things got out of hand.

Compiler backend for generating Scheme code

SPLI website

Receptacle for recipes

A hobby implementation of an ncurses binding for Idris 2

Spelling, grammar and style checking on LaTeX documents

Packer scripts for generating Virtual Box OVFs that have Idris preinstalled.

Agda bindings to SMT-LIB2 compatible solvers.

Counterexamples in Type Systems

Session types in Idris2!

Dhall bindings for Idris

GRIN backend for Idris2

Miscellaneous experiments in Aga

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

Random generation of well-typed Haskell programs

being the teaching materials and exercises for CS410 in the 2020/21 session

λλλλ Lennart Augustsson's λ-calculus cooked four ways

Love slack? Hate slack-redir? Get slack-direct!

Data frames for Idris 2

AACMM's generic-syntax, but with QTT-style annotations