Pinned Repositories
bitwuzla-rs
Safe high-level bindings for the Bitwuzla SMT solver
BombSquad-Community-Mod-Manager
A Mod Manager for BombSquad
buddy
A simple, generic, no_std-able buddy allocator (not a memory allocator)
cargo-fuzz
Command line helpers for fuzzing
LogicCircuitSim
Logic Simulator, written in Python.
rare_pepes
stuff
tectonic-on-arXiv
Regression Testing for the Tectonic TeX Engine
web_skype4py
tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Mrmaxmeier's Repositories
Mrmaxmeier/BombSquad-Community-Mod-Manager
A Mod Manager for BombSquad
Mrmaxmeier/stuff
Mrmaxmeier/tectonic-on-arXiv
Regression Testing for the Tectonic TeX Engine
Mrmaxmeier/bitwuzla-rs
Safe high-level bindings for the Bitwuzla SMT solver
Mrmaxmeier/cargo-fuzz
Command line helpers for fuzzing
Mrmaxmeier/tbcload
golang encode/decode for tbcload tbc file format
Mrmaxmeier/arbitrary
The Arbitrary trait
Mrmaxmeier/attacc
KISS A/D CTF Exploit Thrower
Mrmaxmeier/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
Mrmaxmeier/bitwuzla-sys
Low-level Rust bindings for the Bitwuzla SMT solver
Mrmaxmeier/chocolate_milk
Pure Rust x86_64 bootloader and kernel
Mrmaxmeier/co2monitor
CO₂ & Temperature monitor
Mrmaxmeier/dragondance
Binary code coverage visualizer plugin for Ghidra
Mrmaxmeier/gopenvpn
nothing to see here go away
Mrmaxmeier/KVM-Nyx
Mrmaxmeier/lain
A fuzzer framework built in Rust
Mrmaxmeier/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Mrmaxmeier/libfuzzer
Rust bindings and utilities for LLVM’s libFuzzer
Mrmaxmeier/memmap2-rs
cross-platform Rust API for memory mapped IO
Mrmaxmeier/nixpkgs
Nix Packages collection
Mrmaxmeier/protecc
Mrmaxmeier/pwntools
CTF framework and exploit development library
Mrmaxmeier/stacker
Manual segmented stacks for Rust
Mrmaxmeier/tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Mrmaxmeier/tracy
C++ frame profiler
Mrmaxmeier/tracyrs
Mrmaxmeier/WAFL
Binary-only fuzzer for WebAssembly (WASI)
Mrmaxmeier/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Mrmaxmeier/wirefilter
An execution engine for Wireshark-like filters
Mrmaxmeier/z3.rs
Rust bindings for the Z3 solver.