leithaus

SpecialK

DataLog meets NoSql

Rosette

Reflective actor-based language

casper

Formal specification and reference implementation of Casper

pi4u

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

rho4u

New papers about the rho-calculus

rhocaml

OCaml implementation of rho calculus

stockholm

Stockholm is a maven archetype for creating DSLs

talks

public talks

davinci

Language and runtime cacaoweb

GLoSEval

Network evaluator for Generalized Language of Streams

pixillion

A group mood ring

seleKt

semantic search for the lambda calculus

SLMC-Scala-Port

Scala port of the SLMC

strategies

A simple implementation of session-based streams

Agent-Service-ATI-IA

agentui

UI for agent technologies

biosim-emeris

cnxn

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

DOPBrothersAndSisters

Track, art, and documentation for the next DOP offering

graphene

haxe

Hypervector

Hypervector experiments in Scala, soon on the web

lgimporter

Importer for LivelyGig

MacroLoop

A fork for Adam Vandervorsts Macroloop

rchain

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

skein

social-circuit

A short comic about social networks, bitcoin, and circuit diagrams

spigot

A translation of the code examples from "Unbounded Spigot Algorithms for the Digits of Pi" (Gibbons, 2006)

splicious

SpliciousRoadmap

A map of how to roll out the Splicious technology