Explore projects

Implementation of bigraphs in Coq.

forked from https://github.com/amtoine/dotfiles

An example application of Komodo. This implements a simple CLI application with a Nushell wrapper.

A Provable Coded P2P System

Nanospace Demonstration