SMT-based reasoning core for Lean4

Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage

Cardano Ledger Api providing the necessary types and predicates to prove Plutus smart contracts with Blaster

The seL4 microkernel

Linux kernel source tree

Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI

Your sweet cup of eprint in the morning

tool for making group_inou "EYE"

Formal specifications of the Cardano ledger

Python interpreter written in Lean4?

A tool for visualizing real-time network/graph data.

Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface

Ground Station is all-in-one satellite monitoring suite

AI-powered bug bounty hunting from your terminal - recon, 20 vuln classes, autonomous hunting, and report generation. All inside Claude Code.

AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.

Analyze Rust crates without touching compiler internals

Specification for the Execution Layer. Tracking network upgrades.

Open-source intelligence for the global theater. Track everything from the corporate/private jets of the wealthy, and spy satellites, to seismic events in one unified interface. The knowledge is av…

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

A library for functional programming in Rust

Unofficial Python API and agentic skill for Google NotebookLM. Full programmatic access to NotebookLM's features—including capabilities the web UI doesn't expose—via Python, CLI, and AI agents like…

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Feel free to using : )

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Training neural networks on Apple Neural Engine via reverse-engineered private APIs

mold: A Modern Linker 🦠

Library for parsing, generating, and analyzing LLZK code.

🕵️‍♂️ Offensive Google framework.

🔭TeleSpot OSINT lookup from Telephone number using DDGR + BING + GOOGLE + DEHASHED and uses pattern recognition correlations. NOW with TelespotX!