Penpot: The open-source design tool for design and code collaboration

A framework for distributed systems verification, with fault injection

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

A workbench for writing toy implementations of distributed systems.

An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt

A command line tool to mine and analyze data from version-control systems

✨ Programming Language Research, Applied PLT & Compilers

Overarch provides a data model for the holistic description of a software system, opening multiple use cases on the model data. Supports C4 and UML diagram generation with PlantUML.

Implementation of All ▲lgorithms in Clojure Programming Language