Pinned Repositories
catalina-nix-upgrade
gtk-examples
Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow
lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
lennart-lambda-cube
Lennart Augustsson's lamda cube
mincaml
The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml
playground
👨🏻🎓 Playground for learning programming languages
plt
Programming Language Theory λΠ
shelly
🐚 Dotfiles and shell utilities
tdd-with-idris
Working through Type-Driven Development with Idris
tiger-ml
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
steshaw's Repositories
steshaw/plt
Programming Language Theory λΠ
steshaw/playground
👨🏻🎓 Playground for learning programming languages
steshaw/shelly
🐚 Dotfiles and shell utilities
steshaw/steshaw.org
🏠 Homepage λΠ
steshaw/haskell-playground
steshaw/rust-playground
steshaw/starred
A curated list of my GitHub stars!
steshaw/hello-aws
steshaw/kotlin-playground
steshaw/lean4-playground
lean4-playground
steshaw/scala-playground
steshaw/steshaw
steshaw/steshaw.github.io
Generated files GitHub Pages hosted steshaw.org
steshaw/swift-playground
swift-playground
steshaw/basic-flattener
The XML Flattener converts hierarchical XML documents into table shaped rectangular data sets consisting of rows and columns.
steshaw/bevy-example
bevy-example
steshaw/bevy-test
A quick and dirty Space Invaders type game in Bevy, with attached tutorial.
steshaw/chainsail
Replica Exchange sampling as-a-service
steshaw/flix-playground
steshaw/fpcastle.github.io
A representative FP Castle
steshaw/iosevka-term-jbms
Custom Iosevka Term font with JetBrains Mono Style and Haskell ligatures
steshaw/java-dynamic-test-example
java-dynamic-test-example
steshaw/java-gradle-example-1
java-gradle-example-1
steshaw/java-playground
steshaw/optionals-example-1
optionals-example-1
steshaw/orphan-example.rs
orphan-example.rs
steshaw/public-student-support-code
Public helper code for p423/p523 students (Racket)
steshaw/python-student-support-code
Support for for students (Python)
steshaw/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
steshaw/tokei
Count your code, quickly.