Steven Shaw

plt. Programming Language Theory λΠ

5.4k

gtk-examples. Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow

71

tiger-ml. Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML

60

lennart-lambda. λλλλ Lennart Augustsson's λ-calculus cooked four ways

57

tdd-with-idris. Working through Type-Driven Development with Idris

27

playground. 👨🏻‍🎓 Playground for learning programming languages

27

mincaml. The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml

17

shelly. 🐚 Dotfiles and shell utilities

17

lennart-lambda-cube. Lennart Augustsson's lamda cube

12

catalina-nix-upgrade. Shell

12

sauerbraten. A git mirror of the sauerbraten SVN repo

11

blue. Matt Stall's C# compiler in C# http://blogs.msdn.com/b/jmstall/archive/2005/02/06/368192.aspx

10

idris-sdl2. SDL2 binding for Idris

7

PLAR. Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison

6

idris-calc. A simple arithmetic calculator written in Idris.

5

idris-miniml. Compiler for MiniML in Idris

4

radar. A sensible Technology Radar

4

plc-sestoft. Programming Language Concepts by Peter Sestoft

4

codemirror. clone of http://marijnhaverbeke.nl/git/codemirror

4

timedot-vim. Vim Script

3

zendesk-hs. Zendesk client library

3

huttons-razor. Quick implemention of Hutton's Razor

3

steshaw.org. 🏠 Homepage λΠ

3

haskell-playground. Haskell

2

nixos-on-zfs. A collection of setup scripts for installing nixOS on my work laptop.

2

dhall-playground. Shell

2

tock. Haskell

2

go-playground. Go

2

babycc. A journey through the Crenshaw compiler tutorial using C and x86 from back in 2004

2

turtle-shell-with-nix. Turtle shell example with Nix

2

starred. A curated list of my GitHub stars!

2

hsChess. Haskell

2

rust-playground. Rust

2

idris-elisp. Haskell

2

steshaw.

1

ema-template. Template repo for Ema static site generator

1

poetry2nix. Convert poetry projects to nix automagically [maintainer=@adisbladis]

1

plutus-libs. Haskell

1

niv-shim-example. niv-shim-example

1

lean4-playground. lean4-playground

1

swift-playground. swift-playground

1

hello-aws. Rust

1

cardano-node. The core component that is used to participate in a Cardano decentralised blockchain.

1

nix-docker-example. Shell

1

all-bench. Haskell

1

bazelcon-2019. Bazel examples for "Bazel Boot Camp" session at Bazelcon 2019

1

ksonnet-example.

1

all-hies. Cached Haskell IDE Engine Nix builds for all GHC versions

1

relude-example. Haskell

1

lens-playground. Haskell

1

rules_proto. Protocol buffer rules for Bazel

1

stripe-csv-importer. Import Stripe plans from CSV

1

idris-elba-example. Idris

1

nix-dev-env-example. Shell

1

openapitools-example. Shell

1

go-nix-flakes-demo. Nix

1

kotlin-playground. Kotlin

1

merge-shell-example.nix. Nix

1

haskell-beginners-2022-exercises. 💻 Exercises for the Haskell Beginners 2022 course

1