Easy self-referential struct generation for Rust.

Neovim support for the Lean theorem prover

Agentic Behavior Trees

Removes 20+ patterns of AI slop from any piece of writing.

Simple validation for Rust structs

A powerful validation library for Rust

A skill for your coding agent to stop it from burying the answer. ADHD-friendly output.

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.

The Marine Systems Simulator (MSS) is software that supplements the textbook "Handbook of Marine Craft Hydrodynamics and Motion Control," 2nd Edition, by T. I. Fossen, published in 2021 by John Wil…

Astrodynamics simulation framework

A flight-compliant WebAssembly interpreter.

Source code for the Microsoft Comic Chat IRC client

Open-Source Releases of the Phoenix Tail-sitter Drone Project

eXplora Tailsitter VTOL

Combinatorial game library in Lean 4

Python implementation of Sum-of-Squares optimization built on picos

Artwork for the MiniHawk VTOL, a 3D-Printed Tricopter/Fixed-wing hybrid aircraft.

A framework for building, orchestrating and deploying AI agents and multi-agent workflows with support for Python and .NET.

A programming framework for agentic AI

A fast library for AutoML and tuning. Join our Discord: https://discord.gg/Cppx2vSPVP.

Agent Reinforcement Trainer: train multi-step agents for real-world tasks using GRPO. Give your agents on-the-job training. Reinforcement learning for Qwen3.6, GPT-OSS, Llama, and more!

noq, a QUIC implementation in Rust

Fast, Flexible and Portable Structured Generation

[NSDI'25] BFTBrain: Adaptive BFT Consensus with Reinforcement Learning, [VLDB'24] BFTGym: An Interactive Playground for BFT Protocols