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/linocaml
Monad-based linear types in OCaml, with a few syntax extensions
keigoi/session-ocaml
An implementation of binary session types in OCaml
keigoi/ocaml-mpst-light
NOTE: An interactive programming interface is available at https://keigoi.github.io/ocaml-mpst-light/index.html
keigoi/ppx_fillup
Typeclass-based overloading using type-aware PPX (wip)
keigoi/concur-shims
Shims for concurrency monads in OCaml
keigoi/Coq4iOS2
keigoi/hass-config
https://www.home-assistant.io/docs/configuration/
keigoi/lecture-repo
keigoi/ppx_ty_test
keigoi/BinarySessionJava
keigoi/camlp5
Preprocessor / Pretty Printer for OCaml
keigoi/ccs
Equivalence notions on labelled transitions systems
keigoi/commons-io
Mirror of Apache Commons IO
keigoi/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
keigoi/dataenum
Algebraic data types in Java.
keigoi/foobar
keigoi/ILRuntime
Pure C# IL Intepreter Runtime, which is fast and reliable for scripting requirement on enviorments, where jitting isn't possible.
keigoi/knuth-bendix-completion
クヌース・ベンディックス完備化アルゴリズムのOCaml実装
keigoi/lec-downloader
keigoi/mpstinv
keigoi/MPSTJavaLight
keigoi/ocaml-dns
OCaml implementation of the DNS protocol
keigoi/ocaml-lsp
OCaml Language Server Protocol implementation
keigoi/opam-cross-ios
An OCaml cross-toolchain for iOS and several useful libraries
keigoi/platform-blog
Repository for the Platform blog
keigoi/rescript-react-webworker-test
keigoi/scribble-ocaml
[WIP] OCaml code generation for Scribble. See also https://github.com/keigoi/ocaml-mpst
keigoi/session-csharp
Session-typed concurrent and distributed programming for .NET
keigoi/session-typed-worker
fork
keigoi/WebSurfer
A course material for Android programming