Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by steshaw

A curated list of projects in awesome lists by steshaw .

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: 07 Oct 2025

https://github.com/steshaw/playground

👨🏻‍🎓 Playground for learning programming languages

Last synced: 31 Jul 2025

https://github.com/steshaw/tdd-with-idris

Working through Type-Driven Development with Idris

Last synced: 24 Aug 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/shelly

🐚 Dotfiles and shell utilities

bash dotfiles emacs homebrew neovim package-system shell spacemacs vim zsh

Last synced: 30 Aug 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: 12 Aug 2025

https://github.com/steshaw/idris-sdl2

SDL2 binding for Idris

Last synced: 13 Feb 2026

https://github.com/steshaw/plar

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

Last synced: 16 Mar 2026

https://github.com/steshaw/tapl

Types and Programming Languages

Last synced: 02 May 2025

https://github.com/steshaw/idris-miniml

Compiler for MiniML in Idris

compiler idris ml

Last synced: 19 Mar 2026

https://github.com/steshaw/codemirror

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

Last synced: 08 Oct 2025

https://github.com/steshaw/plc-sestoft

Programming Language Concepts by Peter Sestoft

Last synced: 02 May 2025

https://github.com/steshaw/idris-calc

A simple arithmetic calculator written in Idris.

Last synced: 03 Mar 2026

https://github.com/steshaw/steshaw.org

🏠 Homepage λΠ

Last synced: 23 Feb 2026

https://github.com/steshaw/timedot-vim

Last synced: 28 Jan 2026

https://github.com/steshaw/zendesk-hs

Zendesk client library

servant-client zendesk zendesk-api

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/turtle-shell-with-nix

Turtle shell example with Nix

Last synced: 10 May 2026

https://github.com/steshaw/steshaw

Last synced: 27 Feb 2026

https://github.com/steshaw/hschess

Last synced: 12 Jun 2025

https://github.com/steshaw/tock

Last synced: 12 May 2026

https://github.com/steshaw/babycc

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

Last synced: 08 Jun 2026

https://github.com/steshaw/language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

haskell parser swift swift-2

Last synced: 18 May 2026

https://github.com/steshaw/idris-elisp

Last synced: 13 May 2026

https://github.com/steshaw/cube-fu

Wouter van Oortmerssen's Cube engine/game, including changes to compile/run cleanly on Mac.

Last synced: 17 Jul 2026

https://github.com/steshaw/hello-lifty-lift

Blank project with SBT 0.7.5.RC0, Lifty 1.5 and Lift 2.2

Last synced: 14 May 2026

https://github.com/steshaw/rustlings

Last synced: 27 Jul 2025

https://github.com/steshaw/metathesis

LaTeX thesis template from http://www.cs.mun.ca/~donald/metathesis/

Last synced: 19 Feb 2026

https://github.com/steshaw/steshaw.github.com.octopress

Octopress powered steshaw.org

Last synced: 02 Jul 2025

https://github.com/steshaw/schemey

Scheme interpreter based on "Write Yourself a Scheme in 48 Hours"

scheme scheme-interpreter

Last synced: 13 Jun 2025

https://github.com/steshaw/lean4-playground

lean4-playground

Last synced: 10 Jun 2026

https://github.com/steshaw/swift-playground

swift-playground

Last synced: 10 Jun 2025

https://github.com/steshaw/mongodb-example

MongoDB example in Haskell

Last synced: 14 May 2026

https://github.com/steshaw/hbound

Last synced: 14 May 2026

https://github.com/steshaw/hello-web

Last synced: 14 May 2026

https://github.com/steshaw/haskell-shebang-examples

Haskell shebang examples

Last synced: 09 May 2026

https://github.com/steshaw/euler

My Project Euler solutions, in various languages (intended to observe differences in languages)

Last synced: 12 Jul 2025

https://github.com/steshaw/adt-in-java-with-fold

Encoding algebraic data types in Java using fold

Last synced: 13 May 2026

https://github.com/steshaw/steshaw.github.io

Generated files GitHub Pages hosted steshaw.org

Last synced: 10 Jan 2026

https://github.com/steshaw/starred

A curated list of my GitHub stars!

Last synced: 15 Feb 2026

https://github.com/steshaw/all-bench

Last synced: 11 May 2026

https://github.com/steshaw/pi-forall-playground

Playground for pi-forall

Last synced: 13 May 2026

https://github.com/steshaw/google-logging-example

Example Google/Stackdriver Logging using gogol-logging

Last synced: 13 May 2026

https://github.com/steshaw/niv-shim-example

niv-shim-example

Last synced: 14 May 2026

https://github.com/steshaw/dengine

Last synced: 13 Jun 2026

https://github.com/steshaw/idris-jessie

See if we can't get a jessie package of Idris

Last synced: 10 Aug 2025

https://github.com/steshaw/idris-jessie-i386

Idris binary packages for Debian jessie i386

Last synced: 05 Jun 2026

https://github.com/steshaw/donkey

Last synced: 15 Jun 2026

https://github.com/steshaw/super-rentals

Ember Tutorial

Last synced: 12 Jun 2026

https://github.com/steshaw/ident-demo

Indentation parsing demo

Last synced: 14 Jul 2025

https://github.com/steshaw/fp-in-erlang-kent

Functional Programming in Erlang, University of Kent

Last synced: 15 May 2026

https://github.com/steshaw/pfpl

PFPL

Last synced: 24 Jul 2025

https://github.com/steshaw/typescript-playground

Learning TypeScript

Last synced: 12 Jun 2026

https://github.com/steshaw/nand2tetris

Last synced: 13 Oct 2025