Reko is a binary decompiler.

Replication Package for "Compressing Pre-trained Models of Code into 3 MB", ASE 2022

CodeBERT

🤗 AutoTrain Advanced

a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)

Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.

run regular Docker images in KVM/Qemu

Deflate disassember to convert a deflate, zlib, or gzip stream into a readable form.

[ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models

Detect file content types with deep learning

A programming framework for agentic AI 🤖

Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]

IDA Pro Docker Image

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

A Rust crate to interact with OCI registries

An OCI registry client for Rust desiged to use distribute static library as a "container"

A container runtime written in Rust

Rust KDL parser and derive implementation

Rust parser for KDL

YaCo is an Hex-Rays IDA plugin. When enabled, multiple users can work simultaneously on the same binary. Any modification done by any user is synchronized through git version control.

A terminal workspace with batteries included

Visualize streams of multimodal data. Free, fast, easy to use, and simple to integrate. Built in Rust.

A very fast interval tree data structure

Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.

QSig: Patch signature generation - detection tool

Efficient and minimal collaborative code editor, self-hosted, no database required

DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dat…

Training GPTs to solve interaction nets