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.

📝 Markdeep

The C Code Archive Network

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.

⏩ Source-controlled AI checks, enforceable in CI. Powered by the open-source Continue CLI

🔊 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

A list of AI autonomous agents

Miner 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.

TLA+ questions, answers, and experiments

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 🔥

Tensor library for machine learning

A quickstart for the trader agent for AI prediction markets on Gnosis

Lightweight home server based on microservices, usable as desktop workstation