Lists (1)
Stars
Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
Implementations of SIMD instruction sets for systems which don't natively support them.
RT-Thread is an open source IoT Real-Time Operating System (RTOS). https://rt-thread.github.io/rt-thread/
Cross-platform, fast, feature-rich, GPU based terminal
DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
Run compilers interactively from your web browser and interact with the assembly
A fast usermode x86 and x86-64 emulator for Arm64 Linux
Official development repository for SUNDIALS - a SUite of Nonlinear and DIfferential/ALgebraic equation Solvers. Pull requests are welcome for bug fixes and minor changes.
a structural diff that understands syntax 🟥🟩
An open-source C++ library developed and used at Facebook.
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replica…
Experimental, scalable, high performance HTTP server
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
A modern and intuitive terminal-based text editor
Research prototype tool for modular formal verification of C, Rust and Java programs
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
PerfKit Benchmarker (PKB) contains a set of benchmarks to measure and compare cloud offerings. The benchmarks use default settings to reflect what most users will see. PerfKit Benchmarker is licens…
Optimized implementation for color-icon-matrix barcodes
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation