A Rust library that generates types to work with bit-aligned fields

A Rust library for integer types that have a logical width measured in bits.

Disassembly of Chip's Challenge for Windows (1992) aka MSCC

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

A rust binding for the zstd compression library.

It's a New Kind of Wrapper for Exposing LLVM (Safely)

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A dynasm-like tool for rust.

LPR proof checking with CakeML

Data explorer for The Legend of Zelda: Ocarina of Time

Empowering everyone to build reliable and efficient software.

Logging implementation for Rust

Cross-platform library to fetch system information

dracut initramfs module to start dropbear sshd during boot to unlock the root filesystem with the (cryptsetup) LUKS passphrase remotely

Open Python 3 API for making your own Smash Bros: Melee AI that works with Slippi Online

Mirror Android notifications to VR

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

mimalloc is a compact general purpose allocator with excellent performance.

bazel build rules to use boost in bazel projects

Bazel Python rules that package everything in an executable zip

A modern and intuitive terminal-based text editor

a fast, scalable, multi-language and extensible build system

Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.