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/web_skype4py
Mrmaxmeier/LogicCircuitSim
Logic Simulator, written in Python.
Mrmaxmeier/rare_pepes
Mrmaxmeier/railroads
Mrmaxmeier/8051-calc-puzzle
Mrmaxmeier/AchtungdieKurve
Mrmaxmeier/code-debug
Native debugging for VSCode
Mrmaxmeier/hammerspoon
Staggeringly powerful OS X desktop automation with Lua
Mrmaxmeier/IslandMultiplayerGame
A LAN-Multiplayer 2D Plattformer written in Python using PyOpenGL
Mrmaxmeier/itch
:video_game: The best way to play your itch.io games
Mrmaxmeier/juniper
GraphQL server library for Rust
Mrmaxmeier/KerbalStuff
Mod site for KSP
Mrmaxmeier/L-ve-TestGame
Mrmaxmeier/lua-interpreter
Mrmaxmeier/material-love
Implementing parts of the material-design spec in LÖVE
Mrmaxmeier/mathbox
Presentation-quality WebGL math graphing
Mrmaxmeier/Parabelflug
Mrmaxmeier/parking_lot
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
Mrmaxmeier/rls
Repository for the Rust Language Server (aka RLS)
Mrmaxmeier/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
Mrmaxmeier/Scrabble
Mrmaxmeier/shadergraph
Functional GLSL Linker
Mrmaxmeier/spore_clone_love
Mrmaxmeier/SporeClone
An Spore-Clone using Pygame and PyOpenGL, updated version here:
Mrmaxmeier/strgen
Mrmaxmeier/Turnierserver
Turnierserver für BwInf
Mrmaxmeier/vb-rs
Rustual Boy - A WIP Virtual Boy emulator in Rust.