Pinned Repositories
2048
adventofcode2018
https://adventofcode.com/2018
alrunner4.github.io
My Homepage
CS120-Java
cs399
DigiPen-CS280-2020
gl-idris
glfw-idris
GLFW bindings for Idris
idris-hashtable
oop-is-embarrassing
alrunner4's Repositories
alrunner4/2048
alrunner4/adventofcode2018
https://adventofcode.com/2018
alrunner4/gl-idris
alrunner4/idris-hashtable
alrunner4/idris-interlude
things missing from the Idris Prelude
alrunner4/kata-islands
alrunner4/kata-tennis
alrunner4/learn-nix
alrunner4/neovim-idris2
A Nix flake to set up an Idris2 editing environment in Neovim: run with "nix run github:alrunner4/neovim-idris2"
alrunner4/oop-is-embarrassing
alrunner4/project-euler
solutions in Idris2 to problems described at projecteuler.net
alrunner4/alrunner4.github.io
My Homepage
alrunner4/CS120-Java
alrunner4/cs399
alrunner4/DigiPen-CS280-2020
alrunner4/glfw-idris
GLFW bindings for Idris
alrunner4/HOME
alrunner4/idris-dev
A Dependently Typed Functional Programming Language
alrunner4/idris-errdefer
Inspired by the Zig language's defer and errdefer keywords
alrunner4/idris-lua
A Lua backend for Idris
alrunner4/idris-readelf
alrunner4/idris-stt
a monad transformer to add mutable variables via managed use of unsafePerformIO
alrunner4/idris-yaml
Idris YAML lib
alrunner4/Idris2
A purely functional programming language with first class types
alrunner4/Idris2-boot
A dependently typed programming language, a successor to Idris
alrunner4/idris2-nix
alrunner4/idris2-oop
alrunner4/lightyear
Parser combinators for Idris
alrunner4/optparse-idris
Minimal port of optparse-applicative to idris
alrunner4/tutoring-public