Stars
Dialectical reasoning architecture for LLMs (Thesis → Antithesis → Synthesis)
Efficient graph data structure library. The graph is a seq of nodes plus a seq of edges.
All files for 6 axis robot arm with cycloidal gearboxes .
Ever used asyncio and wished you hadn't? A tiny (~300 lines) event loop for Python.
Very early versions of Redis with some backstory in the README
Reinforcement Learning example in C, playing tic tac toe
BOM, STL files and instructions for PAROL6 3D printed robot arm
ScholArxiv is an open-source, aesthetic, minimal and AI powered app that allows users to search, read, bookmark, share, download and view summaries of academic papers from the arXiv repository.
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Nonlinear optimisation (root-finding, least squares, ...) in JAX+Equinox. https://docs.kidger.site/optimistix/
A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead
Data validation using Python type hints
Fasten is an open-source, self-hosted, personal/family electronic medical record aggregator, designed to integrate with 100,000's of insurances/hospitals/clinics