Alexander Carter's repositories
adventofcode2018
https://adventofcode.com/2018
alrunner4.github.io
My Homepage
glfw-idris
GLFW bindings for Idris
idris-errdefer
Inspired by the Zig language's defer and errdefer keywords
idris-interlude
things missing from the Idris Prelude
idris-yaml
Idris YAML lib
Idris2-boot
A dependently typed programming language, a successor to Idris
Language:Idris000
MayanSweeper
a simple minesweeper game implemented in Haskell
node-jenkins-api
Jenkins API for NodeJS
optparse-idris
Minimal port of optparse-applicative to idris
project-euler
solutions in Idris2 to problems described at projecteuler.net