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/tock
steshaw/turtle-shell-with-nix
Turtle shell example with Nix
steshaw/cube-fu
Wouter van Oortmerssen's Cube engine/game, including changes to compile/run cleanly on Mac.
steshaw/hello-arm-m1
steshaw/awesome-plutus
steshaw/cardano-developer
A Cardano Developer Resource Guide
steshaw/datadog
Haskell DataDog client library
steshaw/emanote-example
steshaw/golang-backend-example
steshaw/gopl.io
Example programs from "The Go Programming Language"
steshaw/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
steshaw/hello-spring-boot.kt
steshaw/homebrew-core
🍻 Default formulae for the missing package manager for macOS
steshaw/hsgames
A client-server Haskell implementation of an old boardgame
steshaw/http4s-quickstart
steshaw/idris-playground
steshaw/Idris2-boot
A dependently typed programming language, a successor to Idris
steshaw/import-lint
steshaw/javo
🚀 A sandboxed VM any Java developer can afford
steshaw/mandrill
Pure Haskell client for the Mandrill JSON API
steshaw/neovim-nightly-overlay
[maintainer=@mjlbach]
steshaw/nix-integration-test-demo
steshaw/ocaml-playground
steshaw/plutus
The Plutus language implementation and tools
steshaw/purescript-example
steshaw/quartz
Quartz is an interpreted, statically typed programming language with Haskell backend
steshaw/stripe-ng
steshaw/summon-example
See README for more info
steshaw/The-Voids-Of-Haskell
steshaw/yesod
A RESTful Haskell web framework built on WAI.