Curated resources for JEPA (Joint Embedding Predictive Architecture) world models and self-supervised learning

Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

The agent engineering platform.

A Rust decompiler built on top of angr

A tool for referencing the Ethereum specifications in clients

Cuda implementation of EVM

The world's most flexible commerce platform.

Ascon - Lightweight Authenticated Encryption & Hashing

EMBA - The firmware security analyzer

poc it like it's hot

Formally Verified Arguments of Knowledge in Lean

The Python CLI and API for talking to Meshtastic devices

A Rust library for connecting to and configuring Meshtastic radios.

High-Performance LISP-like language for Scientific Computing and AI written in C++

Symbolic and concrete EVM execution engine

Get paid to break things

An open-source, code-first Python toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.

A Git-compatible VCS that is both simple and powerful

Zcash - Internet Money

Zellic's audits, publications, and reports

publicly available audits/3rd party reviews of vyper

Rust language bindings for Bitcoin secp256k1 library.

Semantically valid, gas limited evm program generation

lossy video compression challenge

TON Static Analyzer

Tree-sitter based fuzzing corpus generator.