Sound static analysis for the masses.

An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.

poanetwork/threshold_crypto using supranational/blst for sign+verify

BLS signature implementation on the BLS12-381 curve that meets the IETF spec.

Omnigent is an open-source AI agent framework and meta-harness: orchestrate Claude Code, Codex, Cursor, Pi, and custom agents — swap harnesses without rewriting, enforce policies and sandboxing, an…

Rust implementation of Aleph consensus protocol

Mysticeti: Low-Latency DAG Consensus with Fast Commit Path

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Shadow any website for offline viewing, with the JavaScript stripped out

Helper toolkit for creating your own Lean 4 UserWidgets

A smart robotic dog with large models

Introduction to Autonomous Robots

How to say it using Mathlib.

Server to host Lean games

LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov

Build structured Proof Blueprints with Verso

TorchLean: Formalizing Neural Networks in Lean 4 — IBP, CROWN, α,β-CROWN verification framework

Guidance and examples for using auto_LiRPA and alpha-beta-CROWN in control research

supply-chain security for Rust

Open-source, state-of-the-art vehicle routing problem solver in an easy-to-use Python package.

Iterated local search for the team orienteering problem with time windows

new and updated version of stlcg

stlcg implemented with jax

Core functionality for the IITCHS framework.

Path planning from STL (Signal Temporal Logic) specifications

LTL Optimal Multi-Agent Planner (LOMAP)