steshaw

plt

Programming Language Theory λΠ

playground

👨🏻‍🎓 Playground for learning programming languages

shelly

🐚 Dotfiles and shell utilities

steshaw.org

🏠 Homepage λΠ

haskell-playground

rust-playground

starred

A curated list of my GitHub stars!

kotlin-playground

lean4-playground

lean4-playground

poetry2nix

Convert poetry projects to nix automagically [maintainer=@adisbladis]

scala-playground

steshaw

steshaw.github.io

Generated files GitHub Pages hosted steshaw.org

swift-playground

swift-playground

awesome-technical-writing

basic-flattener

The XML Flattener converts hierarchical XML documents into table shaped rectangular data sets consisting of rows and columns.

bevy-example

bevy-example

bevy-test

A quick and dirty Space Invaders type game in Bevy, with attached tutorial.

chainsail

Replica Exchange sampling as-a-service

flix-playground

fsharp-console-example

fsharp-console-example

java-dynamic-test-example

java-dynamic-test-example

java-gradle-example-1

java-gradle-example-1

java-playground

optionals-example-1

optionals-example-1

orphan-example.rs

orphan-example.rs

public-student-support-code

Public helper code for p423/p523 students (Racket)

python-student-support-code

Support for for students (Python)

rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

tokei

Count your code, quickly.