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/tbcload
golang encode/decode for tbcload tbc file format
Mrmaxmeier/arbitrary
The Arbitrary trait
Mrmaxmeier/bitwuzla-sys
Low-level Rust bindings for the Bitwuzla SMT solver
Mrmaxmeier/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
Mrmaxmeier/gimli
A library for reading and writing the DWARF debugging format
Mrmaxmeier/ImHex-Patterns
Hex patterns, include patterns and magic files for the use with the ImHex Hex Editor
Mrmaxmeier/KVM-Nyx
Mrmaxmeier/lib-musl
musl: A C standard library
Mrmaxmeier/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Mrmaxmeier/libarchive
Multi-format archive and compression library
Mrmaxmeier/libfuzzer
Rust bindings and utilities for LLVM’s libFuzzer
Mrmaxmeier/nixpkgs
Nix Packages collection
Mrmaxmeier/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
Mrmaxmeier/protecc
Mrmaxmeier/rust
Empowering everyone to build reliable and efficient software.
Mrmaxmeier/stacker
Manual segmented stacks for Rust
Mrmaxmeier/symbolic
Stack trace symbolication library written in Rust
Mrmaxmeier/tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Mrmaxmeier/tracyrs
Mrmaxmeier/tree-sitter
An incremental parsing system for programming tools
Mrmaxmeier/unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
Mrmaxmeier/WAFL
Binary-only fuzzer for WebAssembly (WASI)
Mrmaxmeier/wasi-libc
WASI libc implementation for WebAssembly
Mrmaxmeier/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Mrmaxmeier/z3.rs
Rust bindings for the Z3 solver.
Mrmaxmeier/zip2
Zip implementation in Rust