Stars
🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.
A workbench for writing toy implementations of distributed systems.
Framework Laptop 16 Input Module SW/FW
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A privacy-first, open-source platform for knowledge management and collaboration. Download link: https://github.com/logseq/logseq/releases. roadmap: https://trello.com/b/8txSM12G/roadmap
Software defined radio receiver powered by GNU Radio and Qt.
TensorBase is a new big data warehousing with modern efforts.
Specifications for OpenTelemetry
Build terminal user interfaces and dashboards using Rust
Convert AsciiDoc documents to PDF using web technologies
Minimal F# wrappers for Confluent.Kafka+librdkafka.redist 1.x
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
The InterPlanetary File System (IPFS), implemented in Rust.
A lightning-fast search API that fits effortlessly into your apps, websites, and workflow
An Ergodox EZ layout optimised for Vim and Ubuntu usage
APALACHE: symbolic model checker for TLA+ and Quint
Highly-available Distributed Fault-tolerant Runtime
Documenting the Xilinx 7-series bit-stream format.
Documenting the Lattice ECP5 bit-stream format.
A fast and secure runtime for WebAssembly
An interpreter for Rust's mid-level intermediate representation