steshaw

plt

Programming Language Theory λΠ

playground

👨🏻‍🎓 Playground for learning programming languages

shelly

🐚 Dotfiles and shell utilities

steshaw.org

🏠 Homepage λΠ

nixos-on-zfs

A collection of setup scripts for installing nixOS on my work laptop.

rust-playground

timedot-vim

bazelcon-2019

Bazel examples for "Bazel Boot Camp" session at Bazelcon 2019

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

earthly

The effortless CI/CD framework that runs anywhere

ema-template

Template repo for Ema static site generator

Idris2

A purely functional programming language with first class types

licence-trials

merge-shell-example.nix

nickel

Better configuration for less

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]

relude-example

rules_proto

Protocol buffer rules for Bazel

steshaw

steshaw.github.io

Generated files GitHub Pages hosted steshaw.org

awesome-technical-writing

chainsail

Replica Exchange sampling as-a-service

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

nix-image-examples

nix-image-examples