Mrmaxmeier

Pinned Repositories

bitwuzla-rs
Safe high-level bindings for the Bitwuzla SMT solver
Language:Rust1 2 00
BombSquad-Community-Mod-Manager
A Mod Manager for BombSquad
Language:Python131 35 54128
buddy
A simple, generic, no_std-able buddy allocator (not a memory allocator)
Language:Rust1 2 00
cargo-fuzz
Command line helpers for fuzzing
Language:Rust1 2 00
LogicCircuitSim
Logic Simulator, written in Python.
Language:Python2 3 20
rare_pepes
Language:Python2 3 00
stuff
Language:Python4 5 20
tectonic-on-arXiv
Regression Testing for the Tectonic TeX Engine
Language:Python2 3 82
web_skype4py
Language:Python4 5 01
tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Language:C4k 41 465165

Mrmaxmeier's Repositories

Mrmaxmeier/LogicCircuitSim
Logic Simulator, written in Python.
Language:Python2 3 20
Mrmaxmeier/railroads
Language:Python1 3 10
Mrmaxmeier/AchtungdieKurve
Language:Python
Mrmaxmeier/IslandMultiplayerGame
A LAN-Multiplayer 2D Plattformer written in Python using PyOpenGL
Language:Python
Mrmaxmeier/L-ve-TestGame
Language:Lua3 0
Mrmaxmeier/Parabelflug
Language:Lua
Mrmaxmeier/SporeClone
An Spore-Clone using Pygame and PyOpenGL, updated version here:
Language:Python2 0