Nix Packages collection & NixOS

Project Euler problem solutions

Solver for boolean identities in Agda

Prime number generator in Agda

A rudimentary language x86 compiler

An extension to the core scala library.

A toy project to simulate the physics of the wheeled vehicles in 2D and possibly create a game

A toy web site allowing users to paste and compile Agda code

Binary division and its properties in Agda

A bot for StarJewelled Starcraft 2 map

Principled Functional Programming in Scala