Repositories
srid repositories
An untyped Plutus Core assembler
Advanced techniques in the plutus smart contract language
The Plutus language implementation and tools
This is a fork of the IOHK Plutus Pioneer Program repository. I am adding READMEs to each of the lectures to transcribe the audio.
:gemini: higher-order, no-boilerplate, zero-cost monads
REST API for any Postgres database
Run postgrest on Heroku, with Heroku Postgres
Rust client for PostgREST
Seamless integration of https://pre-commit.com git hooks with Nix.
Reusable agent predicates (rulesets) and workflows for agentic coding assistants.
Fun with file uploading using Go and YUI uploader
A `flake-parts` module for running multiple processes in a dev shell
Library for dealing with system processes
Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.
PoC process-compose deployments for NixOS
A `flake-parts` module to spin up processes for development by leveraging `process-compose`
Ergonomic process launching with extreme flexibility and speed (compared to shh)
My solutions to the exercises in the 2nd edition of Programming Erlang
Haskell client library for exposing prometheus.io metrics.