Eclipse B612

Source code for ModulePal (modulepal.com).

Sparse Merkle trees with proofs of inclusion and exclusion

Welcome system for university house

🎓 Web app to help teach HM type inference

A collection of recipes in some currently undetermined format

Welcome system for university house

A Really Cool Calculator written in Haskell... or is it?

I bought 300 ducks. Don't ask questions.

Functional Purple theme for VSCode

Set of React components for PDF annotation

A small program that pulls ICS calendars from the internet and removes events according to a set of rules

SREPLS homepage

✒ Certify people's identities without revealing anything else

Experimental UniKernel OS Written In ASM/C/Idris

A Language and Compiler for Homomorphic Encryption Made easY

A tiny CI server built around GitHub and Nix

A simple program designed for outputting questions at random.

CS310 Dissertation Project - A Web Application for Contract Whist

A dependently typed programming language, a successor to Idris

Dissertation project: Regular expression refinement types

Formalisation of a temporal type system in Agda

Examples of Dependently-typed programs in Haskell

Aligning characters for fun and profit, with Haskell and PureScript

My LaTeX projects (classes, packages and more)!

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

The Eta Programming Language, a dialect of Haskell on the JVM

A Haskell library for typesafe music composition

A Java program that supplements students learning Java by generating programming exercises based on their previous performance.