A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…

A framework for distributed systems verification, with fault injection

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