There are no reviews yet. Be the first to send feedback to the community and the maintainers!
actario
Verification Framework for Actor Systems on Coqdocker-satysfi
Docker images for SATySFi and Satyrographoscoq-extensible-effects
Extensible Effects in Coqhaskelltter
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-recorddocker-satysfi-demo
A demo of satysfi-docker and GitHub Actionssynchronizers
Synchronizer algorithms in Erlangcrdts
An Erlang library for CRDTs (Conflict-free Replicated Data Types)psg-scheme
A Scheme interpreter written in Haskell (programming project for newcomers of PSG)erlsub
(ゴミ) Erlang version of MLsubplayroom
This is my playroom to get used to a variety of languages and librariesspa-server
Simple static file server for single-page applicationmini_dialyzer
(ゴミ) Dialyzer for mini-Erlangshinchoquic
Toy QUIC implementation for 進捗大陸04deco.zsh
deco: zsh function for text-decoration (foreground and background 256-colors, underline, blink, etc.)satsukita-andon.com
satsukita-andon.comhomebrew-mathcomp
homebrew formula for mathematical componentsbeam-printer
Pretty-printer for BEAM filesprove-everywhere
Moved to https://github.com/prove-everywheremade-with-satysfi
List of documents made with SATySFifree-game-ex
free-gameの練習BoolServ
技術書典3で頒布する進捗大陸02で作る分散システムのソースコードcrates.io-reverse-dependencies
A chrome extension to see reverse-dependencies in crate pagessatysfi-event-source
A simple synchronous event-source library for SATySFiimp
A simple imperative language for learning/teaching HaskellLove Open Source and this site? Check out how you can help us