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/huttons-razor
Quick implemention of Hutton's Razor
steshaw/hs-nix-template
A Haskell project template that can be built with nix and developed by ghcid and cabal-install.
steshaw/nix-dev-env-example
steshaw/nix-docker-example
steshaw/quake2-gwt-port
steshaw/rustlings
steshaw/cakeml-playground
steshaw/coc-rls
Rust language server support for coc.nvim
steshaw/concatenation_benchmarks-rs
📈 benchmarking different ways to concatenate strings in rust
steshaw/danger-hlint
A Danger plugin for Hlint - https://rubygems.org/gems/danger-hlint
steshaw/dhall-to-cabal
Compile Dhall expressions to Cabal files
steshaw/erlang-playground
steshaw/gist
steshaw/git
steshaw/gp-zurihac-2020
Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
steshaw/haskell-course
steshaw/hsgames
A client-server Haskell implementation of an old boardgame
steshaw/Idris1
A Dependently Typed Functional Programming Language
steshaw/Idris2-boot
A dependently typed programming language, a successor to Idris
steshaw/latex-moderncv
My latex resume using the moderncv template
steshaw/org
📜 📒 Place for organization guidelines and workflows
steshaw/PLGradSchools
steshaw/post-rfc
Blog post previews in need of peer review
steshaw/quartz
Quartz is an interpreted, statically typed programming language with Haskell backend
steshaw/rust-lib-example
steshaw/SPLV20
SPLV20 course notes
steshaw/Spoon-Knife
This repo is for demonstration purposes only.
steshaw/starlark-rust
Starlark (https://github.com/bazelbuild/starlark) in Rust
steshaw/summoner
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
steshaw/typesetting-playground