Stars
omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.
Generative UI examples for: AG-UI, A2UI/Open-JSON-UI, and MCP Apps.
A categorical programming language with effects
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
🌊 The original agent meta-harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning intelligence…
A framework for collecting and analyzing prediction market data, including the largest publicly available dataset of Polymarket and Kalshi market and trade data.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A unified agent orchestration hub that lets you configure and manage multiple AI agents (native, ACP, AGUI, Claude Code) via YAML, and exposes them through standardized protocols (ACP/OpenCode Serv…
⚡ TabPFN: Foundation Model for Tabular Data ⚡
Next paradigm for LLM Agent. Unify plan and action through recursive code generation for adaptive, human-like decision-making.
Useful n8n resources: list of community nodes and tutorials
GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)
DIE — is an Artificial Life project aimed at reproducing emergence of distributed intelligence under environmental pressures using learning cellular automata models.
Official Implementation of "Reasoning Language Models: A Blueprint"
🤗 smolagents: a barebones library for agents that think in code.
Code for Machine Learning for Trading, 3rd edition — from data sourcing to live execution.
Hierarchical Reasoning Model Official Release
Python tool for converting files and office documents to Markdown.
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Arnold Schwarzenegger based programming language
An interactive theorem prover for string diagrams
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
Simulation platform for general-purpose robotics & embodied AI learning.