Lists (2)
Stars
An Open Source Machine Learning Framework for Everyone
Independent technology for modern publishing, memberships, subscriptions and newsletters.
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
Distributed reliable key-value store for the most critical data of a distributed system
TypeScript & JavaScript ORM for Node.js — supports PostgreSQL, MySQL, MariaDB, SQLite, SQL Server, Oracle, and more.
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
A curated list of Rust code and resources.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Low-code programming for event-driven applications
Agda is a dependently typed programming language / interactive theorem prover.
Empowering everyone to build reliable and efficient software.
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
Awesome Object Capabilities and Capability Security
Mirror of https://gitlab.redox-os.org/redox-os/redox
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
The most scalable and reliable MQTT broker for AI, IoT, IIoT and connected vehicles
A framework for building native applications using React
A command line progress reporting library for Rust