Stars
A Rocq model of a Linux process that runs a RISC-V binary
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Open standard for machine learning interoperability
Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
Kotlin formatter and linter in Rust, drop-in ktfmt and ktlint (2.0 and 1.8) replacements with identical output.
Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.
AI agents and workflows for Kotlin Multiplatform, as small typed graphs: loops, parallel steps, streaming, save points and human approval. Inspired by LangGraph.
Turn your coding agents into research agents
A self-hosted, secure, feature-rich memory system for AI agents and assistants. Provides intelligent fact extraction and deduplication, with an artifact store for detailed content.
Development repository for the Triton language and compiler
Agent Tools for Kotlin to make coding agents more efficient with Kotlin & Gradle
Foundation is a repository of formal cryptographic specifications
GPU-accelerated GDSII and OASIS layout viewer for VS Code. Layouts of 100M+ polygons, .lyp layer colors, DRC/LVS markers, layout compare, live preview from Python. Nothing else to install: runs on …
⚡ Project management that doesn't become the project. Boards, Gantt charts, and GitHub integration. Self-host it or use Kaneo Cloud.
Keynote talk at SERI 2026 Hyderabad
Boilerplate codebase for Embedded FPGA kernel development via YosysHQ & BSV
Build a small, always-on team of software workers — an office — by describing what you want in plain English.
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Meaningful control of data in distributed systems.
Formal specification and verification of hardware, especially for security and privacy.