alrunner4

adventofcode2018

https://adventofcode.com/2018

gl-idris

idris-hashtable

oop-is-embarrassing

2048

alrunner4.github.io

My Homepage

CS120-Java

cs399

glfw-idris

GLFW bindings for Idris

HOME

idris-dev

A Dependently Typed Functional Programming Language

idris-errdefer

Inspired by the Zig language's defer and errdefer keywords

idris-interlude

things missing from the Idris Prelude

idris-lua

A Lua backend for Idris

idris-stt

a monad transformer to add mutable variables via managed use of unsafePerformIO

idris-yaml

Idris YAML lib

Idris2

A purely functional programming language with first class types

Idris2-boot

A dependently typed programming language, a successor to Idris

idris2-nix

idris2-oop

kata-islands

kata-tennis

lightyear

Parser combinators for Idris

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

tutoring-public