Keigo Imai's repositories
ocaml-mpst
Multiparty Session Types in OCaml
hlist-ocaml
Heterogeneously-typed lists for OCaml
caramel-mpst
Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)
session-ocaml2
A new sketch implementation of session-ocaml with a new treatment of branching labels https://github.com/keigoi/session-ocaml
BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
cgsuite
A computer algebra system for research in combinatorial game theory
CGSuitePlay
Playing with CGSuite Scripts in Eclipse https://github.com/aaron-siegel/cgsuite (for students)
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
haskell-cy
An ongoing work on M. Hamana's rewriting system on cyclic data structure
mypy
Optional static typing for Python
nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
ppx_deriving
Type-driven code generation for OCaml
rclone
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Yandex Files
ReactFirebaseBook
『りあクト! Firebaseで始めるサーバーレスReact開発』のサンプルコードページ
TPDB
The Termination Problem Database