Discover @steshaw Open Source projects

Steven Shaw (@steshaw)

steshaw

Stars
5,465
Global Rank 4,816 (Top 0.2 %)
Followers 432
Following 775
Registered almost 16 years ago
Most used languages

Haskell
33.3 %

Shell
10.1 %

Nix
7.2 %

Idris 7.2 %

C
5.8 %

Rust
4.3 %

JavaScript
4.3 %

Scala
2.9 %

OCaml
2.9 %

Java
2.9 %

C++
2.9 %

Kotlin
1.4 %

F#
1.4 %

Lean 1.4 %

Vim Script
1.4 %

CSS
1.4 %

Swift
1.4 %

Assembly
1.4 %

C#
1.4 %

Standard ML 1.4 %

Ruby
1.4 %

Go
1.4 %
Location 🇦🇺 Australia
Country Total Rank 81
Country Ranking

CSS
1

Idris 2

Lean 3

Standard ML 3

OCaml
10

F#
27

Haskell
34

Nix
34

Assembly
144

C
146

Scala
173

Vim Script
192

Shell
287

Kotlin
346

Rust
532

Swift
613

C++
838

Go
910

C#
928

Java
1,672

Ruby
1,749

JavaScript
2,806

plt

Programming Language Theory λΠ

gtk-examples

Examples from "Developing Linux Applications with GTK+ and GDK" by Eric Harlow

tiger-ml

Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML

lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways

playground

👨🏻‍🎓 Playground for learning programming languages

tdd-with-idris

Working through Type-Driven Development with Idris

mincaml

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

catalina-nix-upgrade

shelly

🐚 Dotfiles and shell utilities

blue

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

sauerbraten

A git mirror of the sauerbraten SVN repo

lennart-lambda-cube

Lennart Augustsson's lamda cube

PLAR

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

idris-sdl2

SDL2 binding for Idris

plc-sestoft

Programming Language Concepts by Peter Sestoft

codemirror

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

idris-miniml

Compiler for MiniML in Idris

steshaw.org

🏠 Homepage λΠ

zendesk-hs

Zendesk client library

huttons-razor

Quick implemention of Hutton's Razor

idris-calc

A simple arithmetic calculator written in Idris.

turtle-shell-with-nix

Turtle shell example with Nix

haskell-playground

babycc

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

go-playground

dhall-playground

tock

idris-elisp

hsChess

timedot-vim

language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

starred

A curated list of my GitHub stars!

steshaw

go-nix-flakes-demo

rustlings

mongodb-example

MongoDB example in Haskell

schemey

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

haskell-shebang-examples

Haskell shebang examples

pi-forall-playground

Playground for pi-forall

lens-playground

http-post-example.hs

hbound

google-logging-example

Example Google/Stackdriver Logging using gogol-logging

metathesis

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

yesod-postgresql-example

openapitools-example

euler

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

scala-playground

kotlin-playground

hello-arm-m1

all-bench

nix-docker-example

nix-playground

licence-trials

cube-fu

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

ksonnet-example

hello-web

merge-shell-example.nix

nix-dev-env-example

steshaw.github.io

Generated files GitHub Pages hosted steshaw.org

hello-lifty-lift

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

quake2-gwt-port

rust-playground

idris-elba-example

relude-example

adt-in-java-with-fold

Encoding algebraic data types in Java using fold

lean4-playground

lean4-playground

niv-shim-example

niv-shim-example

swift-playground

swift-playground

servant-example

cloud-haskell-tutorial

dEngine

hello-aws