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)

Puffing up reinforcement learning

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 spec for tinygrad (let's see if this works)

LLM training in simple, raw C/CUDA

A Fortran 2023 correctness-checking framework supporting expressive idioms for writing assertions and tests

The best ChatGPT that $100 can buy.

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…

The Vesuvius Challenge monorepo

🌈 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…

Use various machine learning algorithms to predict horse racing results.

Using machine learning models to predict the outcome of a horse race, and run backtesting to see if we can profit from betting

99% of Queries in Zero Milliseconds

HTTP routing and request-handling library for Rust that focuses on ergonomics and modularity

FFmpeg Assembly Language Lessons

Monte Carlo simulation of the NBA season, leveraging dbt, duckdb and evidence.dev

μWebSockets for Node.js back-ends 🤘