Library of miscellaneous utilies to work with PDDL (both in Python and on the command line).

A fast and modular Julia implementation of the macroeconomic ABM of [Poledna et al., European Economic Review (2023)]

An open source and crowdfunded book about Bitcoins Lightning Network to scale blockchain technologies.

📝 Markdeep

The C Code Archive Network

Stream processing and management platform.

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.

⏩ Create, share, and use custom AI code assistants with our open-source IDE extensions and hub of models, rules, prompts, docs, and other building blocks

🔊 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 framework for building LLM-powered agents over your data.

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

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2, and other large language models.