Pinned Repositories
async-android
Asynchronous, composable, 'monadic' style task engine for Android-Java
caramel-mpst
Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)
coq4ios
moved to https://github.com/keigoi/Coq4iOS2
hlist-ocaml
Heterogeneously-typed lists for OCaml
kmclib
linocaml
Monad-based linear types in OCaml, with a few syntax extensions
ocaml
OCaml on iOS http://psellos.com/ocaml/ upgraded to OCaml 4.00.1 and fixed to work with the latest iOS SDK 6.1
ocaml-mpst
Multiparty Session Types in OCaml
olt_ocaml
An encoding of Ordered Linear Types in OCaml
session-ocaml
An implementation of binary session types in OCaml
keigoi's Repositories
keigoi/ocaml-mpst
Multiparty Session Types in OCaml
keigoi/kmclib
keigoi/hlist-ocaml
Heterogeneously-typed lists for OCaml
keigoi/ocaml
OCaml on iOS http://psellos.com/ocaml/ upgraded to OCaml 4.00.1 and fixed to work with the latest iOS SDK 6.1
keigoi/caramel-mpst
Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)
keigoi/session-ocaml2
A new sketch implementation of session-ocaml with a new treatment of branching labels https://github.com/keigoi/session-ocaml
keigoi/mpst2
Next generation OCaml-MPST
keigoi/rows-ocaml
keigoi/BIRDS
Bidirectional transformation for Relational view update Datalog-based Strategies
keigoi/cgsuite
A computer algebra system for research in combinatorial game theory
keigoi/CGSuitePlay
Playing with CGSuite Scripts in Eclipse https://github.com/aaron-siegel/cgsuite (for students)
keigoi/coq-mmpst
keigoi/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.
keigoi/example-integrating-mypy
keigoi/exercise_js_circle
keigoi/haskell-cy
An ongoing work on M. Hamana's rewriting system on cyclic data structure
keigoi/jissen2-git
keigoi/mpst-experiments
keigoi/mypy
Optional static typing for Python
keigoi/nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
keigoi/ocaml-cy
wip
keigoi/opam-downloader
keigoi/ppx_deriving
Type-driven code generation for OCaml
keigoi/rclone
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Yandex Files
keigoi/ReactFirebaseBook
『りあクト！ Firebaseで始めるサーバーレスReact開発』のサンプルコードページ
keigoi/rescript-mpst
keigoi/starexec-master
keigoi/test_ppx_import
keigoi/TPDB
The Termination Problem Database
keigoi/ts-mpst