Ethereum implementation on the efficiency frontier

Specify what you want it to build, the AI asks for clarification, and then builds it.

A binary lifter and analysis framework for Ethereum smart contracts

A safe, extensible ORM and Query Builder for Rust

Solidity and Hardhat support for Visual Studio Code

Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.

TCG ONE (Pokemon TCG Simulator) card implementation repository

Content of TCG ONE New Card Database. Please see/submit card definitions under src/main/resources/cards.

SymFusion: Hybrid Instrumentation for Concolic Execution

Emacs major mode for Move smart contract programming language.

A Dockerfile to build multi-architecture images of Samba, which is the standard Windows interoperability suite of programs for Linux and Unix. This is my personal docker recipe.

The main repository for the TrueBlocks system

rust bindings of snmalloc

SQL Query AST and Visitor for Rust

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

.NET debugger and assembly editor

Security Research from the Microsoft Security Response Center (MSRC)

The Rust package manager

A safe, concurrent, practical language.

Rust library for reading/writing numbers in big-endian and little-endian.

Fallible variant of Vec optionally used in the mp4parse crate.

Record and Replay Framework

WebAppSec Content Security Policy