Markus Mayer's repositories
graph-based-image-segmentation
Graph-Based Image Segmentation in Rust
rust-facedetect
OpenCV Face Detection in Rust using Haar Cascades
rust-openvx
OpenVX in Rust - an experiment
AngryPurpleTiger
animal-based hash digests for humans ... in C#
http-grpc-cohosting
Hosting Axum HTTP and Tonic gRPC on the same Hyper server
kaggle-leaf-classification
Kaggle Leaf Classification Dataset
opencv-cartoon-effect
A cartoon effect with OpenCV in Rust
river-crossing
A toy implementation of search-based planning on the river crossing problem.
spark-atlas
Spark vs. MongoDB Atlas
advent-of-code-rs
✨🎄 Advent of Code (in Rust) 🎄✨
autobattler
A toy project for experimenting with strategies in a turn-based combat game.
bimg
Go package for fast high-level image processing powered by libvips C library
bits
Converts input into bits (with explanations, where applicable)
coding-stats
Explorative data analysis of my coding stats
coq-playground
Toying around with the Coq Proof Assistant
crev-proofs
Proof repository for crev
epimelitis
Home Assistant and Pi-Hole in Kubernetes in Talos Linux on a Raspberry Pi
graph-rs
A graph playground in Rust
graphql-platform
Welcome to the home of the Hot Chocolate GraphQL server for .NET, the Strawberry Shake GraphQL client for .NET and Banana Cake Pop the awesome Monaco based GraphQL IDE.
htmx-askama-axum-shuttle
Testing htmx and askama on axum via Shuttle
lean4-playground
Toying around with Microsoft Lean 4
ocaml-playground
Playing around with OCaml
README
General README for the Big Data Europe project's sources
rotating-cube
A rotating cube in the Terminal, written in Rust, ported from C#
rust-dynamic-loading-plugins
Dynamically loading libraries / plugins at runtime in Rust
RustQIP
Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!
scanner-test-rs
Scanner usage experiments in Rust
snafu-numbers
Special Numeral-Analogue Fuel Units in Rust
solidity-experiment
An experiment with Solidity for EVM blockchains