Discover @keigoi Open Source projects

Keigo Imai (@keigoi)

keigoi

Stars
236
Global Rank 108,144 (Top 4 %)
Followers 85
Following 11
Registered about 16 years ago
Most used languages

OCaml
65.0 %

Objective-C
10.0 %

Java
5.0 %

Python
5.0 %

Jupyter Notebook
5.0 %

Erlang
5.0 %

C++
5.0 %
Location 🇯🇵 Japan
Country Total Rank 2,475
Country Ranking

OCaml
5

Erlang
37

Objective-C
250

Java
1,099

Jupyter Notebook
2,029

C++
2,678

Python
7,593

ocaml-mpst

Multiparty Session Types in OCaml

linocaml

Monad-based linear types in OCaml, with a few syntax extensions

session-ocaml

An implementation of binary session types in OCaml

coq4ios

moved to https://github.com/keigoi/Coq4iOS2

kmclib

hlist-ocaml

Heterogeneously-typed lists for OCaml

olt_ocaml

An encoding of Ordered Linear Types in OCaml

async-android

Asynchronous, composable, 'monadic' style task engine for Android-Java

ppx_fillup

Typeclass-based overloading using type-aware PPX (wip)

caramel-mpst

Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)

ocaml-mpst-light

NOTE: An interactive programming interface is available at https://keigoi.github.io/ocaml-mpst-light/index.html

scribble-memo

Notes for scribble and scribble-ocaml https://github.com/scribble/scribble-java

concur-shims

Shims for concurrency monads in OCaml

Coq4iOS2

2deffects

old megademo effects \(^o^)/

session-ocaml2

A new sketch implementation of session-ocaml with a new treatment of branching labels https://github.com/keigoi/session-ocaml

lecture-repo

mpst2

Next generation OCaml-MPST

hass-config

https://www.home-assistant.io/docs/configuration/

ppx_ty_test

rows-ocaml

FuSe-clone

A clone repository of Luca Padovani's FuSe http://www.di.unito.it/~padovani/Software/FuSe/FuSe.html

Jupyter Notebook