steshaw

Loves programming languages!

@tweagBrisbane, Australia

Pinned Repositories

catalina-nix-upgrade
Language:Shell12 3 01
gtk-examples
Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow
Language:C69 9 043
lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
Language:Haskell52 3 010
lennart-lambda-cube
Lennart Augustsson's lamda cube
Language:Haskell11 2 03
mincaml
The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml
Language:OCaml17 2 13
playground
👨🏻‍🎓 Playground for learning programming languages
Language:Standard ML25 7 07
plt
Programming Language Theory λΠ
Language:CSS5.2k 274 23338
shelly
🐚 Dotfiles and shell utilities
Language:Shell15 4 01
tdd-with-idris
Working through Type-Driven Development with Idris
Language:Idris24 2 01
tiger-ml
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
Language:C57 6 014

steshaw's Repositories

steshaw/bjne
Beautiful Japanese NES Emulator
Language:C++
steshaw/ghc-syb
Scrap Your Boilerplate instances for GHC's data types
Language:Haskell1
steshaw/euler
My Project Euler solutions, in various languages (intended to observe differences in languages)
Language:Haskell1