Stars
The property-based testing library for Python
Warp is an agentic development environment, born out of the terminal.
Python codes for studying predictability and data assimlation with a surface quasi-geostrophic turbulence model
Ο RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection β all without a single pixel of video.
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
Turso is an in-process SQL database, compatible with SQLite.
Official codebase for the paper "How to build a consistency model: Learning flow maps via self-distillation" (NeurIPS 2025).
Pecnut / visual-pde
Forked from Mar5bar/VisualPDECanaryInteractive partial differential equation solver, live in your device's web browser
Lean 4 programming language and theorem prover
π§βπ« 60+ Implementations/tutorials of deep learning papers with side-by-side notes π; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), gaβ¦
Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
Extremely fast Query Engine for DataFrames, written in Rust
A reactive notebook for Python β run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
Flexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)
π» Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Header only library for writing build recipes in C.
a collection of AWESOME things about Optimal Transport in Deep Learning
Probabilistic language based on pattern matching and constraint propagation, 153 examples