Pinned Repositories
isaac025's Repositories
isaac025/dotfiles
Dotfiles
isaac025/aoc
Advent of Code
isaac025/biolang
Bioinformatics language
isaac025/c_pl
The C Programming Language
isaac025/ccom-6029
High Level Languages
isaac025/dtnn
Dependently Typed Neural Networks
isaac025/euler
isaac025/gpod
Libgpod bindings for Haskell
isaac025/hipod
The Pirate Bay TUI
isaac025/ib
IRC Bot
isaac025/lc
Lambda Calculus Interpreter
isaac025/mini-servant
isaac025/tdd
Type-Driven Development
isaac025/old-portfolio
isaac025/rdm
RAISE Development Method
isaac025/servant-lucid-login
Login/Forgot Password made with Servant and Lucid
isaac025/servant-tutorial
Haskell Servant Tutorial
isaac025/sicp
Structure and Interpretation of Computer Programs
isaac025/tagless
Final Tagless Presentation CCOM 6029
isaac025/tlp
The Little Prover
isaac025/twt
Thinking with Types
isaac025/was
write yourself a Scheme
isaac025/wash
Why Another SHell