leithaus Goto Github PK

agency

Experimental implementation of Luis Caires spatial-behavioral types

agent-service-ati-ia

agentui

UI for agent technologies

biosim-emeris

casper

Formal specification and reference implementation of Casper

cnxn

Cnxn is an agent model built above the applied π-calculus

coffin

initial coffin project container

davinci

Language and runtime cacaoweb

differential

kitchen sink container for data type differential

disciples-of-pop

Disciples of Pop

dopbrothersandsisters

Track, art, and documentation for the next DOP offering

gloseval

Network evaluator for Generalized Language of Streams

graphene

haxe

hypervector

Hypervector experiments in Scala, soon on the web

java-scala

to repro java-scala inner classes issue

lgimporter

Importer for LivelyGig

macroloop

A fork for Adam Vandervorsts Macroloop

magritte

An experimental analytics-in-the-cloud framework

ocamljs

Javascript back-end for OCamlc

pi4u

A collection of papers about new models and applications of mobile process calculi

pixillion

A group mood ring

platform-agent

platform agent life cycle test

rchain

Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.

rho4u

New papers about the rho-calculus

rhocaml

OCaml implementation of rho calculus

rlingo

training

rosette

Reflective actor-based language

selekt

semantic search for the lambda calculus

skein