This is the NoSql database used by CrossLine and other tools by Rochus

Overriding Stdio file descriptors in Rust

A Machine-to-Machine Interaction System for Lean 4.

Prolog, Datalog, languages, resources, and beyond!

Vulnerability research assistant that locates all calls to potentially insecure API functions in a binary file.

The rustic MLIR bindings in Rust

Strongly typed YAML library for Rust. (a fork of Serde YAML) 🦀

Rizin client plugin for the Rizin Silhouette Server

a tool for reinterpreting ELF executables and shared libraries

Official inference framework for 1-bit LLMs

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Faster version of `symchk /om` for generating PDB manifests of offline machines

Go symbol recovery tool

MLIR For Beginners tutorial

garbage-collecting on-disk object store, supporting higher level KV stores and databases.

Postgres as a Platform

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Collection of crates used in Parity projects

For paper "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, and Xiangyu Zhang. Accepted by …

Window management made elegant.

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Pono: A flexible and extensible SMT-based model checker

Grimsby is an Erlang Port written in Rust that can close its standard input while retaining standard output (and error)

A Collection of TextMate Themes I've gathered over the years

Symbolic executor of Datalog

Free, no-nonsense, super fast blogging.

Deep learning at the speed of light.

A different approach to an E-graph library

C Bounded Model Checker

A collection of signature files for IDA