Explore projects

The all-in-one toolkit for multi-agent experiments on emergent communication.

A cross-platform application for using Fluid Construction Grammar (FCG) and Babel over HTTP.

Initializer for Matlab projects

This repository is to hack kissat 3.0 to print pb2 proofs instead of DRAT. Also, kissat is hacked to always read cnfs from stdin.

The Penelope climate change opinion observatory

Fork of snooze: A package for Common Lisp RESTful web development.