Steven Shaw's repositories
turtle-shell-with-nix
Turtle shell example with Nix
cardano-developer
A Cardano Developer Resource Guide
CC0-1.0000
danger-hlint
A Danger plugin for Hlint - https://rubygems.org/gems/danger-hlint
datadog
Haskell DataDog client library
Language:HaskellMIT000
gopl.io
Example programs from "The Go Programming Language"
Language:Go000
gp-zurihac-2020
Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
Language:Haskell000
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Language:NixApache-2.0000
homebrew-core
🍻 Default formulae for the missing package manager for macOS
Language:RubyBSD-2-Clause000
Idris2-boot
A dependently typed programming language, a successor to Idris
Language:IdrisNOASSERTION000
javo
🚀 A sandboxed VM any Java developer can afford
Language:GoMIT000
neovim-nightly-overlay
[maintainer=@mjlbach]
Language:Nix000
org
📜 📒 Place for organization guidelines and workflows
MPL-2.0000
quartz
Quartz is an interpreted, statically typed programming language with Haskell backend
Language:HaskellMIT000
SPLV20
SPLV20 course notes
000
Spoon-Knife
This repo is for demonstration purposes only.
000