dkeehl

Pinned Repositories

chip8
A Chip8 emulator writen in ruby.
Language:Ruby00
chopsticks
Ruby on Chopsticks
Language:Ruby00
chunfen
Encrypted network tunnel
Language:Rust00
dotfiles
configuration files backup
Language:Vim Script00
duanwu
A Scheme interpreter
Language:Idris00
fluid
Language:Rust00
grocery
Language:Idris00
h99_solutions
99 Haskell Problems Solutions
Language:Haskell00
hongbai
A NES emulator writen in ruby
Language:Ruby00
Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell00

dkeehl's Repositories

dkeehl/pfUI
A User Interface Replacement for World of Warcraft: Vanilla & TBC
dkeehl/zq
Language:Rust
dkeehl/hongbai
A NES emulator writen in ruby
Language:Ruby
dkeehl/fluid
Language:Rust
dkeehl/rasterize
Language:Rust
dkeehl/Idris2
A purely functional programming language with first class types
dkeehl/grocery
Language:Idris
dkeehl/duanwu
A Scheme interpreter
Language:Idris
dkeehl/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell
dkeehl/ruby-sdl2
A Ruby wrapper for SDL 2.x
Language:C
dkeehl/chunfen
Encrypted network tunnel
Language:Rust
dkeehl/lambda-playground
Language:Idris
dkeehl/nothing
Church numerals
Language:Idris
dkeehl/chopsticks
Ruby on Chopsticks
Language:Ruby
dkeehl/STLC
Simply-typed lambda calculus in Idris
Language:Idris
dkeehl/nyaa
Language:Ruby
dkeehl/dotfiles
configuration files backup
Language:Vim script
dkeehl/rails-sample
Language:Ruby
dkeehl/tddwi
Exercises solutions for the book Type-driven development with Idris
Language:Idris
dkeehl/shiruka
Language:Ruby
dkeehl/chip8
A Chip8 emulator writen in ruby.
Language:Ruby
dkeehl/h99_solutions
99 Haskell Problems Solutions
Language:Haskell