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:C70 9 044
lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
Language:Haskell52 3 010
lennart-lambda-cube
Lennart Augustsson's lamda cube
Language:Haskell10 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 ML24 7 07
plt
Programming Language Theory λΠ
Language:CSS5.2k 277 23334
shelly
🐚 Dotfiles and shell utilities
Language:Shell14 4 01
tdd-with-idris
Working through Type-Driven Development with Idris
Language:Idris23 2 01
tiger-ml
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
Language:C56 6 014

steshaw's Repositories

steshaw/plt
Programming Language Theory λΠ
Language:CSS5.2k 277 23334
steshaw/playground
👨🏻‍🎓 Playground for learning programming languages
Language:Standard ML24 7 07
steshaw/shelly
🐚 Dotfiles and shell utilities
Language:Shell14 4 01
steshaw/haskell-playground
Language:Haskell2 3 0
steshaw/rust-playground
Language:Rust2 3 01
steshaw/ema-template
Template repo for Ema static site generator
Language:Haskell1 1 0
steshaw/kotlin-playground
Language:Kotlin1 2 0
steshaw/lean4-playground
lean4-playground
Language:Lean1 2 0
steshaw/niv-shim-example
niv-shim-example
Language:Nix1 2 0
steshaw/nix
Nix, the purely functional package manager
Language:C++1 2 0
steshaw/nix-playground
Language:Nix1 2 0
steshaw/nixpkgs
Nix Packages collection
Language:Nix1 2 0
steshaw/plutus-libs
Language:Haskell1 1 0
steshaw/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
Language:Nix1 1 0
steshaw/scala-playground
Language:Scala1 2 0
steshaw/steshaw
1 2 0
steshaw/swift-playground
swift-playground
Language:Swift1 2 0
steshaw/awesome-technical-writing
3 0
steshaw/bevy-example
bevy-example
Language:Rust2 0
steshaw/bevy-test
A quick and dirty Space Invaders type game in Bevy, with attached tutorial.
Language:Rust1 0
steshaw/chainsail
Replica Exchange sampling as-a-service
Language:Python1 0
steshaw/fsharp-console-example
fsharp-console-example
Language:Forth2 0
steshaw/ionic-framework
A powerful cross-platform UI toolkit for building native-quality iOS, Android, and Progressive Web Apps with HTML, CSS, and JavaScript.
Language:TypeScript1 0
steshaw/iosevka-term-jbml
iosevka-term-jbml
Language:Nix2 0
steshaw/java-playground
Language:Java2 0
steshaw/nix-image-examples
nix-image-examples
Language:Nix2 0
steshaw/orphan-example.rs
orphan-example.rs
Language:Rust
steshaw/public-student-support-code
Public helper code for p423/p523 students (Racket)
Language:Racket1 0
steshaw/python-student-support-code
Support for for students (Python)
Language:Python1 0
steshaw/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Language:Rust1 0