There are no reviews yet. Be the first to send feedback to the community and the maintainers!
plt
Programming Language Theory λΠgtk-examples
Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlowtiger-ml
Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in MLlennart-lambda
λλλλ Lennart Augustsson's λ-calculus cooked four waysplayground
👨🏻🎓 Playground for learning programming languagestdd-with-idris
Working through Type-Driven Development with Idrismincaml
The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-camlcatalina-nix-upgrade
shelly
🐚 Dotfiles and shell utilitiesblue
Matt Stall's C# compiler in C# http://blogs.msdn.com/b/jmstall/archive/2005/02/06/368192.aspxlennart-lambda-cube
Lennart Augustsson's lamda cubesauerbraten
A git mirror of the sauerbraten SVN repoPLAR
Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrisonidris-sdl2
SDL2 binding for Idrisplc-sestoft
Programming Language Concepts by Peter Sestoftcodemirror
clone of http://marijnhaverbeke.nl/git/codemirroridris-miniml
Compiler for MiniML in Idrisidris-calc
A simple arithmetic calculator written in Idris.steshaw.org
🏠 Homepage λΠhuttons-razor
Quick implemention of Hutton's Razorzendesk-hs
Zendesk client libraryturtle-shell-with-nix
Turtle shell example with Nixhaskell-playground
babycc
A journey through the Crenshaw compiler tutorial using C and x86 from back in 2004go-playground
dhall-playground
idris-elisp
tock
hsChess
timedot-vim
language-swift2-quote
💫 Swift 2.1 parser and pretty-printer 🚧💔😢steshaw
mongodb-example
MongoDB example in Haskellgo-nix-flakes-demo
rustlings
haskell-shebang-examples
Haskell shebang examplespi-forall-playground
Playground for pi-foralllens-playground
http-post-example.hs
hbound
google-logging-example
Example Google/Stackdriver Logging using gogol-loggingmetathesis
LaTeX thesis template from http://www.cs.mun.ca/~donald/metathesis/yesod-postgresql-example
openapitools-example
scala-playground
kotlin-playground
hello-arm-m1
schemey
Scheme interpreter based on "Write Yourself a Scheme in 48 Hours"all-bench
euler
My Project Euler solutions, in various languages (intended to observe differences in languages)nix-docker-example
nix-playground
licence-trials
ksonnet-example
cube-fu
Wouter van Oortmerssen's Cube engine/game, including changes to compile/run cleanly on Mac.hello-web
merge-shell-example.nix
nix-dev-env-example
steshaw.github.io
Generated files GitHub Pages hosted steshaw.orghello-lifty-lift
Blank project with SBT 0.7.5.RC0, Lifty 1.5 and Lift 2.2rust-playground
servant-example
quake2-gwt-port
idris-elba-example
relude-example
adt-in-java-with-fold
Encoding algebraic data types in Java using foldswift-playground
swift-playgroundniv-shim-example
niv-shim-examplecloud-haskell-tutorial
dEngine
haxe-compiler-experiments
Some of my (unstable unfinished probably buggy) HaXe compiler experiments. On this repo nothing is stable. Don't depend on itLove Open Source and this site? Check out how you can help us