Popular repositories Loading

1. gentle-mpst-py gentle-mpst-py Public

   Educational implementation of "A Very Gentle Introduction to Multiparty Session Types".

   Python 2

2. first-order-miniKanren-guile first-order-miniKanren-guile Public

   miniKanren with a first-order representation of the search space (ported to Guile)

   Scheme 2 2

3. nodelet_core nodelet_core Public

   Forked from ros/nodelet_core

   Allows one to create "nodelets" -- ROS node-like entities that run within the same process so as to avoid IPC and serialization overhead

   C++ 1

4. gephi gephi Public

   Forked from gephi/gephi

   Gephi - The Open Graph Viz Platform

   Java 1

5. first-order-miniKanren first-order-miniKanren Public

   Forked from gregr/first-order-miniKanren

   miniKanren with a first-order representation of the search space

   Racket 1

6. cKanren cKanren Public

   Forked from calvis/cKanren

   Constraint programming language embedded in Racket

   Racket 1