steshaw

plt

Programming Language Theory λΠ

playground

👨🏻‍🎓 Playground for learning programming languages

shelly

🐚 Dotfiles and shell utilities

haskell-playground

rust-playground

ema-template

Template repo for Ema static site generator

kotlin-playground

lean4-playground

lean4-playground

niv-shim-example

niv-shim-example

nix

Nix, the purely functional package manager

nix-playground

nixpkgs

Nix Packages collection

plutus-libs

poetry2nix

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

scala-playground

steshaw

swift-playground

swift-playground

awesome-technical-writing

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

fsharp-console-example

fsharp-console-example

ionic-framework

A powerful cross-platform UI toolkit for building native-quality iOS, Android, and Progressive Web Apps with HTML, CSS, and JavaScript.

iosevka-term-jbml

iosevka-term-jbml

java-playground

nix-image-examples

nix-image-examples

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