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/olt_ocaml
An encoding of Ordered Linear Types in OCaml
keigoi/async-android
Asynchronous, composable, 'monadic' style task engine for Android-Java
keigoi/scribble-memo
Notes for scribble and scribble-ocaml https://github.com/scribble/scribble-java
keigoi/2deffects
old megademo effects \(^o^)/
keigoi/FuSe-clone
A clone repository of Luca Padovani's FuSe http://www.di.unito.it/~padovani/Software/FuSe/FuSe.html
keigoi/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
keigoi/simstring-mod
SimString
keigoi/async_session
Session-type implementation in OCaml
keigoi/esp8266light
keigoi/FSharpMPST
F# porting of https://github.com/keigoi/ocaml-mpst
keigoi/KotlinExcercise
keigoi/lzmaSDK
lzmaSDK is an iOS port of the decoding logic from the LZMA SDK provided with 7zip
keigoi/material
PPLSS2012 temporary
keigoi/merlin
Context sensitive completion for OCaml in Vim and Emacs
keigoi/mysql-server-verify
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
keigoi/OcaIDE
An O'Caml plug-in for Eclipse
keigoi/ocaml-scribble
Abandoned branch of ocaml-scribble. Not recommended for use.
keigoi/orm
The ORM package for FuelPHP
keigoi/prog2final18
keigoi/progjissen2-7
keigoi/scribble-ocaml-runtime
Getting obsolete. see https://github.com/keigoi/ocaml-mpst
keigoi/slotjava
keigoi/smlsharp
SML# compiler
keigoi/test
keigoi/twitter4j
Twitter4J is an open-sourced, mavenized and Google App Engine safe Java library for the Twitter API which is released under the Apache License 2.0.
keigoi/verifast
Research prototype tool for modular formal verification of C and Java programs
keigoi/verifying_c