Pinned Repositories
a-pi
Formalization of Aπ-calculus in Coq
actario
Verification Framework for Actor Systems on Coq
coq-extensible-effects
Extensible Effects in Coq
crdts
An Erlang library for CRDTs (Conflict-free Replicated Data Types)
docker-satysfi
Docker images for SATySFi and Satyrographos
docker-satysfi-demo
A demo of satysfi-docker and GitHub Actions
github-post-receive
A library to construct github post-receive servers.
haskell-relational-record-driver-oracle
[Obsolete] Oracle driver for haskell-relational-record
haskelltter
Twitter client on GHCi (inspired by ocamltter)
synchronizers
Synchronizer algorithms in Erlang
amutake's Repositories
amutake/actario
Verification Framework for Actor Systems on Coq
amutake/docker-satysfi
Docker images for SATySFi and Satyrographos
amutake/docker-satysfi-demo
A demo of satysfi-docker and GitHub Actions
amutake/crdts
An Erlang library for CRDTs (Conflict-free Replicated Data Types)
amutake/playroom
This is my playroom to get used to a variety of languages and libraries
amutake/beam-printer
Pretty-printer for BEAM files
amutake/BoolServ
技術書典3で頒布する進捗大陸02で作る分散システムのソースコード
amutake/made-with-satysfi
List of documents made with SATySFi
amutake/satsukita-andon.com
satsukita-andon.com
amutake/satysfi-event-source
A simple synchronous event-source library for SATySFi
amutake/shinchoquic
Toy QUIC implementation for 進捗大陸04
amutake/docker-pdf-tools
A Dockerfile containing various pdf-related tools
amutake/dotfiles
amutake's dotfiles
amutake/erl-splay-tree
A splay-tree implementation in Erlang
amutake/fialyzer
[WIP] Faster Implementation of Dialyzer
amutake/learn-satysfi
SATySFiを学ぶためのドキュメント（作成中）
amutake/loga
amutake/logi
A Logger Interface Library for Erlang/OTP
amutake/moyo
Erlangの便利なライブラリ集
amutake/obeam
amutake/ods
Open Data Structures の日本語ソースコード
amutake/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
amutake/rust-extensions
Rust crates to extend containerd
amutake/rustls
A modern TLS library in Rust
amutake/satyrographos
Naive package manager for SATySFi
amutake/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
amutake/SATySFi
A statically-typed, functional typesetting system
amutake/satysfi-artifacts
SATySFi pre-built binaries
amutake/setup-satysfi
Set up your GitHub Actions workflow with a specific version of SATySFi
amutake/valico
Rust JSON Schema validator and JSON coercer