Starred repositories
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent
A tremendous feat of documentation, this guide covers Claude Code from beginner to power user, with production-ready templates for Claude Code features, guides on agentic workflows, and a lot of gr…
Nsight Python is a Python kernel profiling interface based on NVIDIA Nsight Tools
Lean formalization of selected lemmas from "Term Rewriting and All That"
Definitional implementation of Cedar language and utilities for DRT
Intuitive, type-safe expression quotations for Lean 4.
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
The "batteries included" extended library for the Lean programming language and theorem prover
Cryptographic Computing for Clean Rooms (C3R) encryption client and SDK
A Haskell library making it easier to write Alex lexers.
This project contains various supporting libraries for lean to reason about protocols.
rjnw / cryptol
Forked from GaloisInc/cryptolCryptol: The Language of Cryptography
Formal specification and verification of hardware, especially for security and privacy.
A mechanisation of Wasm in Isabelle.
A work in progress proof checker for LRAT files written in Lean.
Lean 4 programming language and theorem prover
Rich is a Python library for rich text and beautiful formatting in the terminal.
High Assurance Controller of Self-balancing Robot
Cache dependencies and build outputs in GitHub Actions