Stars
30 Agents Every AI Engineer Must Build, published by Packt
SysMD is a SysML v2/KerML tool with an intuitive, notebook-style interface that makes getting started easy. What truly sets SysMD apart is its integrated solver, enabling engineering calculations d…
This is the repo for a simple spec-driven workshop
Ralph loop + OpenSpec integration for Cursor, OpenCode and ClaudeCode heavy lifting.
OpenDST - Deterministic Simulation Testing for Java
The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.
Verification-guided complete & correct formal specification synthesis.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A DuckDB Community Extension to enable Behavioral Analytics, inspired by ClickHouse.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Spec-driven development (SDD) for AI coding assistants.
An MCP server that executes Python code in isolated rootless containers with optional MCP server proxying. Implementation of Anthropic's and Cloudflare's ideas for reducing MCP tool definitions con…
Paper: “MEMRL: SELF-EVOLVING AGENTS VIA RUNTIME REINFORCEMENT LEARNING ON EPISODIC MEMORY” Open-Source Code
My Ralph Wiggum setup, an autonomous bash script that runs Claude Code, Codex, OpenCode, Cursor agent, Qwen & Droid in a loop until your PRD is complete.
🚀 EvoAgentX: Building a Self-Evolving Ecosystem of AI Agents
A fast linearizability checker written in Go 🔎
A controlled concurrency testing framework for the JVM
The all-in-one AI productivity accelerator. On device and privacy first with no annoying setup or configuration.
An Open-Ended Embodied Agent with Large Language Models
Open-source implementation of AlphaEvolve