mimalloc is a compact general purpose allocator with excellent performance.

A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

OPH is an active research program aiming to construct a fundamental theory of physics from observer consistency.

Exploit for the Wii U's USB Host Stack

OpenVul: An Open-Source Post-Training Framework for LLM-Based Vulnerability Detection

symbolic execution plugin for binary ninja

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors

Logic programming in Rust

The Basil pipeline for concurrent information flow analysis in AArch64 binaries.

The Swiss Army Knife of Offline AI. Chat, Speak, and Generate Images - Privacy First, Zero Internet. Download an LLM and use it on your mobile device. No data ever leaves your phone. Supports text-…

An Obsidian plugin that embeds Claude Code/Codex as an AI collaborator in your vault

Download market data from Yahoo! Finance's API

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

A performant and modular zkVM framework built for customization and extensibility.

A toolkit for polynomial IOPs (PIOPs)

Interactive documentation on zero-knowledge proof systems and related primitives.

semcode

AI review prompts

Python Command-Line Ghidra Decompiler

It's a plugin extension in Zotero. Zotero MCP Plugin enables integration between AI assistants and Zotero through MCP. Zotero MCP Plugin 是一个 Zotero 插件，通过 MCP协议实现 AI 助手与 Zotero深度集成。插件支持文献检索、元 数据管理、全…

Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

Offensive security toolkit for Claude Code

Alpenglow: Global High-Performance Proof-of-Stake Blockchain with Erasure Coding

A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.

Verified Intermediate Representation