发现和探索全球最新的开发者工具
A modern text editor for the terminal written in Rust
A static verifier for Rust, based on the Viper verification infrastructure.
RadonDB is an open source, cloud-native MySQL database for building global, scalable cloud services
We've moved! For more information, visit https://github.com/YetiForceCompany/YetiForce
A large-scale entity and relation database supporting aggregation of properties
WHATWG-compliant and fast URL parser written in modern C++, part of Internet Archive, Node.js, Clickhouse, Redpanda, Kong, Telegram, Adguard, Datadog and Cloudf
SPARQL graph database
Columnar storage extension for Postgres built as a foreign data wrapper. Check out https://github.com/citusdata/citus for a modernized columnar storage implemen
Probabilistic Datatypes Module for Redis
Pencil2D is an easy, intuitive tool to make 2D hand-drawn animations. Pencil2D is open source and cross-platform.
The OpenSource Disassembler
Linear optimization software