A statically typed programming language for scientific computations with first class support for physical dimensions and units

The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use th…

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…

The production-scale datacenter profiler (C/C++, Go, Rust, Python, Java, NodeJS, .NET, PHP, Ruby, Perl, ...)

logic programming in Rust

A native, user-mode, multi-process, graphical debugger.

Raster to Vector Graphics Converter

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Quickly find differences and similarities in disassembled code

Beautiful diagnostic reporting for text-based programming languages.

A Rust CPU profiler implemented with the help of backtrace-rs

Multi functional app to find duplicates, empty folders, similar images etc.

μLA: Micro Logic Analyzer for RP2040

Sampling profiler for Python programs

Miscellaneous ULX3S examples (advanced)

A memory profiler for Linux.

Command-line sampling profiler for macOS and Linux

tar creator+extractor in ~100 lines of prolog

Embedded Rust arithmetic, 2D/3D vector, and statistics library

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…

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Rust bindings for the C++ api of PyTorch.

x86 PC emulator that runs both natively and in the browser, via WebAssembly

Entity Component System focused on usability and flexibility.

Ghidra C++ Class and Run Time Type Information Analyzer

[ECCV 2022] SimpleRecon: 3D Reconstruction Without 3D Convolutions

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

Rust implementation of the Simple(x) Global Optimization algorithm

cwe_checker finds vulnerable patterns in binary executables