Incomplete list of macOS `defaults` commands with demos ✨

証明検索No.1／定理の証明載せるなら コックパッド

The manuscript for The SATySFi​book (1st edition for the Web)

SATySFi で湯婆婆

SATySFiを学ぶためのドキュメント（作成中）

Extends Your TweetDeck Layout

An ML-like statically-typed Erlang

InheritedWidgets, but simple

complementary collection of useful functions and modules for SATySFi

SATySFi package for flexible ordered/unordered/description lists.

Custom OPAM repository for SATySFi libraries managed by Satyrographos

Package manager for SATySFi

Concuerror is a stateless model checking tool for Erlang programs.

A Gradual type system for Erlang

A statically-typed, functional typesetting system

Library and tools for transcribing QUIC connections.

Ethr is a Comprehensive Network Measurement Tool for TCP, UDP & ICMP.

QUICの仕様の翻訳

ngtcp2 project is an effort to implement IETF QUIC protocol

Programming Project for PSG Newcomers

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

[WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.

Functional programming inspired by ML for the Erlang VM

Prototype type inference engine

Improving the accuracy of Dialyzer by program transformation

A composable build system for OCaml.