keigoi Goto Github PK

2deffects

old megademo effects \(^o^)/

async-android

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

async_session

Session-type implementation in OCaml

binarysessionjava

birds

Bidirectional transformation for Relational view update Datalog-based Strategies

camlp5

Preprocessor / Pretty Printer for OCaml

caramel-mpst

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

ccs

Equivalence notions on labelled transitions systems

cgsuite

A computer algebra system for research in combinatorial game theory

cgsuiteplay

Playing with CGSuite Scripts in Eclipse https://github.com/aaron-siegel/cgsuite (for students)

commons-io

Mirror of Apache Commons IO

concur-shims

Shims for concurrency monads in OCaml

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.

coq-mmpst

coq4ios

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

coq4ios2

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.

dataenum

Algebraic data types in Java.

esp8266light

example-integrating-mypy

exercise_js_circle

foobar

fsharpmpst

F# porting of https://github.com/keigoi/ocaml-mpst

fuse-clone

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

haskell-cy

An ongoing work on M. Hamana's rewriting system on cyclic data structure

hass-config

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

hlist-ocaml

Heterogeneously-typed lists for OCaml

ilruntime

Pure C# IL Intepreter Runtime, which is fast and reliable for scripting requirement on enviorments, where jitting isn't possible.

jissen2-git

kmclib