Lists (1)
Starred repositories
High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static bin…
Master programming by recreating your favorite technologies from scratch.
Tower of Hanoi solver: A human-AI collaboration experiment
Library of miscellaneous utilies to work with PDDL (both in Python and on the command line).
High-Performance Agent-Based Macroeconomics Made Easy
An open source and crowdfunded book about Bitcoins Lightning Network to scale blockchain technologies.
Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.
ArbitrageLab is a python library that enables traders who want to exploit mean-reverting portfolios by providing a complete set of algorithms from the best academic journals.
Overview of the formal verification projects in the Ethereum ecosystem.
🔊 Text-Prompted Generative Audio Model
The #1 open-source voice interface for desktop, mobile, and ESP32 chips.
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer.
LlamaIndex is the leading document agent and OCR platform
defi-formal / cff
Forked from pdaian/mevMiner extractable value modeling and tools.
💸💸 Curated list of investment & finance related resources
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
Mac setup and configuration via Ansible.
Rewrite of the Yellowpaper in non-Yellowpaper syntax.
Publications of Runtime Verification, Inc.
Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!
Karabiner-Elements complex ruleset to make using macOS friendlier by enabling common keyboard functionality used in Linux and Windows.
Karabiner-Elements is a powerful tool for customizing keyboards on macOS
Implementation of Karpathy's micrograd in Mojo 🔥