A privacy-first, open-source platform for knowledge management and collaboration. Download link: http:https://github.com/logseq/logseq/releases. roadmap: http:https://trello.com/b/8txSM12G/roadmap

A framework for distributed systems verification, with fault injection

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

A fast, immutable, distributed & compositional Datalog engine for everyone.

Titanoboa makes complex workflows easy. It is a low-code workflow orchestration platform for JVM - distributed, highly scalable and fault tolerant.

Sample workflows for titanoboa