Discover @steshaw Open Source projects

Steven Shaw (@steshaw)

steshaw

Stars
5,463
Global Rank 4,645 (Top 0.2 %)
Followers 416
Following 768
Registered over 15 years ago
Most used languages

Haskell
33.8 %

Shell
10.3 %

Idris 7.4 %

Nix
7.4 %

C
5.9 %

JavaScript
4.4 %

Scala
2.9 %

C++
2.9 %

OCaml
2.9 %

Rust
2.9 %

Java
2.9 %

Vim Script
1.5 %

Assembly
1.5 %

F#
1.5 %

Kotlin
1.5 %

Go
1.5 %

Standard ML 1.5 %

Lean 1.5 %

Swift
1.5 %

C#
1.5 %

Ruby
1.5 %

CSS
1.5 %
Location 🇦🇺 Australia
Country Total Rank 81
Country Ranking

CSS
1

Idris 2

Standard ML 2

Lean 3

OCaml
9

F#
29

Nix
32

Haskell
33

Assembly
133

C
136

Scala
171

Vim Script
232

Shell
274

Kotlin
300

Rust
563

Swift
659

C++
829

C#
901

Go
933

Ruby
1,656

Java
1,742

JavaScript
2,810

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

lennart-lambda-cube

Lennart Augustsson's lamda cube

sauerbraten

A git mirror of the sauerbraten SVN repo

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

idris-calc

A simple arithmetic calculator written in Idris.

steshaw.org

🏠 Homepage λΠ

huttons-razor

Quick implemention of Hutton's Razor

zendesk-hs

Zendesk client library

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

idris-elisp

tock

hsChess

language-swift2-quote

💫 Swift 2.1 parser and pretty-printer 🚧💔😢

timedot-vim

steshaw

mongodb-example

MongoDB example in Haskell

go-nix-flakes-demo

rustlings

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

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.org

hello-lifty-lift

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

relude-example

rust-playground

servant-example

quake2-gwt-port

idris-elba-example

adt-in-java-with-fold

Encoding algebraic data types in Java using fold

lean4-playground

lean4-playground

swift-playground

swift-playground

niv-shim-example

niv-shim-example

cloud-haskell-tutorial

dEngine