srid のリポジトリ

最終コミット 2021/12/13

An untyped Plutus Core assembler

最終コミット 2021/12/01

Advanced techniques in the plutus smart contract language

最終コミット 2021/11/23

The Plutus language implementation and tools

最終コミット 2021/12/08

This is a fork of the IOHK Plutus Pioneer Program repository. I am adding READMEs to each of the lectures to transcribe the audio.

最終コミット 2021/09/12

:gemini: higher-order, no-boilerplate, zero-cost monads

最終コミット 2019/12/19

REST API for any Postgres database

最終コミット 2015/05/12

Run postgrest on Heroku, with Heroku Postgres

最終コミット 2015/05/11

Rust client for PostgREST

最終コミット 2021/04/14

Seamless integration of https://pre-commit.com git hooks with Nix.

最終コミット 2023/04/18

Reusable agent predicates (rulesets) and workflows for agentic coding assistants.

最終コミット 2026/03/05

Fun with file uploading using Go and YUI uploader

最終コミット 2012/09/20

A `flake-parts` module for running multiple processes in a dev shell

最終コミット 2024/04/19

Library for dealing with system processes

最終コミット 2018/05/16

Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.

最終コミット 2023/05/12

PoC process-compose deployments for NixOS

最終コミット 2025/01/02

A `flake-parts` module to spin up processes for development by leveraging `process-compose`

最終コミット 2025/10/21

Ergonomic process launching with extreme flexibility and speed (compared to shh)

最終コミット 2022/08/29

My solutions to the exercises in the 2nd edition of Programming Erlang

最終コミット 2015/07/14

Haskell client library for exposing prometheus.io metrics.

最終コミット 2019/06/27