Stars
MLE-bench is a benchmark for measuring how well AI agents perform at machine learning engineering
A native, user-mode, multi-process, graphical debugger.
An early-stage HPC tensor and grid-kernel library for numerical relativity, focused on a SIMD-optimized (SSE/AVX/AVX2/AVX-512/Arm NEON), parallel implementation with OpenMP of the Z4c formulation o…
End-to-end formally verified solvers for the electrostatic Vlasov equation in 1x1v, 1x2v, 1x3v, 2x2v, 2x3v, and 3x3v (i.e. 2D to 6D) phase space.
High-performance JavaScript/TypeScript compiler toolchain in Zig.
Agent Skills for SEO audits and recommendations, anchored to official Google Search documentation.
Deepsec is a security harness for finding vulnerabilities in your codebase powered by coding agents
A shared-nothing, thread-per-core concurrency framework. Designed for massive concurrency because There Is No Alternative (TINA)
The batteries-included agent harness.
ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution 🧬
Fast, accurate & comprehensive text measurement & layout
AI Skills for Antithesis Users
Property-based testing for web and terminal UIs
A Fortran 2023 correctness-checking framework supporting expressive idioms for writing assertions and tests
TensorLogic compiles logical rules (predicates, quantifiers, implications) into tensor equations (einsum graphs) with a minimal DSL + IR, enabling neural/symbolic/probabilistic models within a unif…
🌈 React for interactive command-line apps
DSPy: The framework for programming—not prompting—language models
SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings fo…
BillionMail gives you open-source MailServer, NewsLetter, Email Marketing — fully self-hosted, dev-friendly, and free from monthly fees. Join the discord: https://discord.gg/asfXzBUhZr
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Additional exercises and data for EE364a. No solutions; for public consumption.
Using machine learning and AI to make informed bets for financial gain
A fully functional automated horse racing trading system for betfair in python. Collects data, uses a neural network to analyse the data, makes trading recommendations and places the bets before ra…