Shohei Yasutake

actario. Verification Framework for Actor Systems on Coq

docker-satysfi. Docker images for SATySFi and Satyrographos

coq-extensible-effects. Extensible Effects in Coq

haskelltter. Twitter client on GHCi (inspired by ocamltter)

github-post-receive. A library to construct github post-receive servers.

haskell-relational-record-driver-oracle. [Obsolete] Oracle driver for haskell-relational-record

a-pi. Formalization of Aπ-calculus in Coq

synchronizers. Synchronizer algorithms in Erlang

docker-satysfi-demo. A demo of satysfi-docker and GitHub Actions

psg-scheme. A Scheme interpreter written in Haskell (programming project for newcomers of PSG)

mini_dialyzer. (ゴミ) Dialyzer for mini-Erlang

spa-server. Simple static file server for single-page application

erlsub. (ゴミ) Erlang version of MLsub

crdts. An Erlang library for CRDTs (Conflict-free Replicated Data Types)

playroom. This is my playroom to get used to a variety of languages and libraries

made-with-satysfi. List of documents made with SATySFi

shinchoquic. Toy QUIC implementation for 進捗大陸04

BoolServ. 技術書典3で頒布する進捗大陸02で作る分散システムのソースコード

beam-printer. Pretty-printer for BEAM files

satysfi-event-source. A simple synchronous event-source library for SATySFi

deco.zsh. deco: zsh function for text-decoration (foreground and background 256-colors, underline, blink, etc.)

imp. A simple imperative language for learning/teaching Haskell

homebrew-mathcomp. homebrew formula for mathematical components

free-game-ex. free-gameの練習

satsukita-andon.com. satsukita-andon.com

prove-everywhere. Moved to https://github.com/prove-everywhere

crates.io-reverse-dependencies. A chrome extension to see reverse-dependencies in crate pages