Stars
Rust WebTransport library for native and WASM
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
Rapidly build modern applications with advanced configuration management
Julia package for postprocessing point predictions into probabilistic forecasts
Lean for Scientists and Engineers, course taught in Summer 2024
Database connectivity API standard and libraries for Apache Arrow
An extremely fast Python type checker and language server, written in Rust.
Pragmata Pro doppelgänger made of Iosevka SS08
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO
Manually tweaked, auto-generated raylib bindings for zig. https://github.com/raysan5/raylib
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
The NVIDIA Agent Intelligence (AIQ) toolkit is an open-source library for efficiently connecting and optimizing teams of AI agents.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
An End-to-End Benchmark Suite for Univariate Time-Series Anomaly Detection
Shapley Interactions and Shapley Values for Machine Learning
The Art of Problem-Solving in Software Engineering: How to Make MySQL Better
SkyPilot: Run AI and batch jobs on any infra (Kubernetes or 16+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
Simple Zig programs that demonstrate good practices to accomplish common programming tasks.
🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.