reynir/plsdb
Simple cache. Not ideal for anything (yet)
Developer Profile
reynir
Discovered public repositories for reynir in the GitHub catalog.
reynir/Verified
A collection of proofs for some idris class instances - NOT MAINTAINED
reynir/bf.js
A brainfuck compiler in javascript that outputs a javascript function.
reynir/Idris-dev
A Dependently Typed Functional Programming Language
reynir/continuation
A compiler for JavaScript asynchronous Continuation-Passing Style transformation
reynir/Modubot.js
NodeJS version of Modubot!
reynir/wat-collection
Collection of "wat" moments in various languages
reynir/ocaml-digitalocean
OCaml library for the digitalocean.com v1 API
reynir/Brainfuck
Brainfuck formalized in Coq
reynir/uslock
slock with unicode / X input method support.
reynir/TIP
Tiny Imperative Programming Language
reynir/Go-IRC-Client-Library
Event based IRC client library in Go (golang)
reynir/rpn
A proof of concept reverse polish notation calculator that doesn't use pointers.
reynir/Smelly-url
A poor man's smelly url parsing
reynir/interpreter1
Please go away! This code is horrible!
reynir/keyboard-fix
A daemon that automatically replaces "ae", "aa", and "oe" with their respective Danish counterparts.
reynir/smallest-subarray
Public repository.
reynir/naev
NAEV is a 2d action/rpg space game that combines elements from the action, rpg and simulation genres.
reynir/threadpool
A threadpool using SDL