keigoi/Coq4iOS2

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Objective-C
Created about 6 years ago
Updated about 4 years ago

keigoi/Coq4iOS2

keigoi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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