Mitty's repositories
data-science-template
Playing around with creating a template for a common data science workflow using python
advent2016
Advent of code 2016 solutions written in Rust
ctfp-solutions
My solutions to the challenges from Category Theory for Programmers by Bartosz Milewski
Language:PythonGPL-3.0000
elm-servant-web-app-template
Playing around with web app tech stack using Haskell and Elm.
mci-solutions
My solutions for Modern Compiler Implementation by Andrew Appel (in Idris2)
Language:Idris000
nand2tetris-assembler
A basic assembler written in Haskell for the nand2tetris course
Language:AssemblyGPL-3.0000
Language:Haskell000
portfolio-website
My portfolio website
Language:Elm000
QSSA
Simulation of QSSA and chiral QSSA
Language:MatlabMIT000
rust-book
Learning rust
Language:Rust000
sicp-solutions
My solutions for structure and interpretation of computer programs
000
tdd-solutions
My solutions to the exercises in Type Driven Development by Edwin Brady in Idris2
Language:IdrisGPL-3.0000