Mrmaxmeier's repositories
BombSquad-Community-Mod-Manager
A Mod Manager for BombSquad
tectonic-on-arXiv
Regression Testing for the Tectonic TeX Engine
bitwuzla-rs
Safe high-level bindings for the Bitwuzla SMT solver
cargo-fuzz
Command line helpers for fuzzing
bigint-crypto-utils
Utils for working with cryptography using native JS implementation of BigInt. It includes arbitrary precision modular arithmetics, cryptographically secure random numbers and strong probable prime generation/testing. It works with Node.js, and native JS, including React and Angular
bitwuzla-sys
Low-level Rust bindings for the Bitwuzla SMT solver
chocolate_milk
Pure Rust x86_64 bootloader and kernel
co2monitor
CO₂ & Temperature monitor
dragondance
Binary code coverage visualizer plugin for Ghidra
memmap2-rs
cross-platform Rust API for memory mapped IO
wirefilter
An execution engine for Wireshark-like filters
z3.rs
Rust bindings for the Z3 solver.