Discover @steshaw Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Crystal

Ruby

Python

Java

Solidity

Scala

C++

PowerShell

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

MATLAB

Java

Swift

F#

Lua

C

Kotlin

C#

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇪🇸 Spain

🇸🇽 Sint Maarten

🇧🇿 Belize

🇬🇩 Grenada

🇨🇱 Chile

🇮🇪 Ireland

🇳🇿 New Zealand

🇬🇼 Guinea-Bissau

All Countries Compare Countries

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 %

Java
2.9 %

C++
2.9 %

OCaml
2.9 %

Go
1.4 %

Kotlin
1.4 %

Ruby
1.4 %

Standard ML 1.4 %

F#
1.4 %

C#
1.4 %

Assembly
1.4 %

Swift
1.4 %

CSS
1.4 %

Lean 1.4 %

Vim Script
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