Projects in Awesome Lists by steshaw
A curated list of projects in awesome lists by steshaw .
https://github.com/steshaw/plt
Programming Language Theory λΠ
category-theory functional-programming logic programming-languages proof-theory type-theory
Last synced: 13 May 2025
https://github.com/steshaw/gtk-examples
Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow
Last synced: 14 May 2025
https://github.com/steshaw/tiger-ml
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
Last synced: 02 May 2025
https://github.com/steshaw/lennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four ways
lambda-calculus programming-languages
Last synced: 02 May 2025
https://github.com/steshaw/playground
👨🏻🎓 Playground for learning programming languages
Last synced: 01 Mar 2025
https://github.com/steshaw/tdd-with-idris
Working through Type-Driven Development with Idris
Last synced: 01 Mar 2025
https://github.com/steshaw/mincaml
The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml
Last synced: 02 May 2025
https://github.com/steshaw/lennart-lambda-cube
Lennart Augustsson's lamda cube
dependent-types lambda-cube programming-language-theory programming-languages
Last synced: 02 May 2025
https://github.com/steshaw/blue
Matt Stall's C# compiler in C# http://blogs.msdn.com/b/jmstall/archive/2005/02/06/368192.aspx
Last synced: 02 May 2025
https://github.com/steshaw/sauerbraten
A git mirror of the sauerbraten SVN repo
Last synced: 02 May 2025
https://github.com/steshaw/plar
Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison
Last synced: 02 May 2025
https://github.com/steshaw/idris-calc
A simple arithmetic calculator written in Idris.
Last synced: 01 Mar 2025
https://github.com/steshaw/codemirror
clone of http://marijnhaverbeke.nl/git/codemirror
Last synced: 02 May 2025
https://github.com/steshaw/plc-sestoft
Programming Language Concepts by Peter Sestoft
Last synced: 02 May 2025
https://github.com/steshaw/huttons-razor
Quick implemention of Hutton's Razor
Last synced: 02 May 2025
https://github.com/steshaw/zendesk-hs
Zendesk client library
servant-client zendesk zendesk-api
Last synced: 02 May 2025
https://github.com/steshaw/language-swift2-quote
💫 Swift 2.1 parser and pretty-printer 🚧💔😢
Last synced: 01 Mar 2025
https://github.com/steshaw/turtle-shell-with-nix
Turtle shell example with Nix
Last synced: 01 Mar 2025
https://github.com/steshaw/babycc
A journey through the Crenshaw compiler tutorial using C and x86 from back in 2004
Last synced: 01 Mar 2025
https://github.com/steshaw/steshaw.github.com.octopress
Octopress powered steshaw.org
Last synced: 01 Mar 2025
https://github.com/steshaw/metathesis
LaTeX thesis template from http://www.cs.mun.ca/~donald/metathesis/
Last synced: 01 Mar 2025
https://github.com/steshaw/steshaw.github.com.jekyll
Minimalistic blog using Jekyll and Git
Last synced: 01 Mar 2025
https://github.com/steshaw/schemey
Scheme interpreter based on "Write Yourself a Scheme in 48 Hours"
Last synced: 01 Mar 2025
https://github.com/steshaw/hello-lifty-lift
Blank project with SBT 0.7.5.RC0, Lifty 1.5 and Lift 2.2
Last synced: 01 Mar 2025
https://github.com/steshaw/haskell-shebang-examples
Haskell shebang examples
Last synced: 01 Mar 2025
https://github.com/steshaw/euler
My Project Euler solutions, in various languages (intended to observe differences in languages)
Last synced: 01 Mar 2025
https://github.com/steshaw/cube-fu
Wouter van Oortmerssen's Cube engine/game, including changes to compile/run cleanly on Mac.
Last synced: 01 Mar 2025
https://github.com/steshaw/adt-in-java-with-fold
Encoding algebraic data types in Java using fold
Last synced: 01 Mar 2025
https://github.com/steshaw/steshaw.github.io
Generated files GitHub Pages hosted steshaw.org
Last synced: 11 Jan 2025
https://github.com/steshaw/google-logging-example
Example Google/Stackdriver Logging using gogol-logging
Last synced: 01 Mar 2025
https://github.com/steshaw/idris-jessie
See if we can't get a jessie package of Idris
Last synced: 01 Mar 2025
https://github.com/steshaw/foundation-framework-playground
Learning ZURB Foundation
Last synced: 01 Mar 2025
https://github.com/steshaw/stack-example
Simple Haskell Stack example Haskell project
Last synced: 01 Mar 2025
https://github.com/steshaw/idris-jessie-i386
Idris binary packages for Debian jessie i386
Last synced: 01 Mar 2025
https://github.com/steshaw/hugo-blog-experiment
Experimenting with http://gohugo.io/
Last synced: 01 Mar 2025
https://github.com/steshaw/web-framework-from-scratch
A web framework from scratch
Last synced: 01 Mar 2025
https://github.com/steshaw/hm
Ian Grant's awesome tutorial on Hindley-Milner Type Inference
Last synced: 01 Mar 2025
https://github.com/steshaw/modular-modules
Code from A modular module system, Xavier Leroy
Last synced: 01 Mar 2025