Beast code in Giters

Maximilian Marx's starred repositories

ak-plan-poll

Language:Python100

truckersmp-cli

A simple launcher for truckersMP to be used with wine

Language:PythonMIT19800

BLAHAJ

🦈🏳️‍⚧️🏳️‍🌈 Gay sharks at your local terminal - lolcat-like CLI tool

Language:CrystalBSD-2-Clause13200

nix-drama-explained

This is a repository that aims to concisely explain the issues in Nix community

CC-BY-SA-4.015200

fruitbasket

[MIRROR] ❄️ Infrastructure configuration for FSR-operated machines

Language:Nix400

nix-inspect

Interactive tui for inspecting nix configs

Language:RustMIT25600

gritql

GritQL is a query language for searching, linting, and modifying code.

Language:RustMIT264100

math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Language:HTML14300

nurl

Generate Nix fetcher calls from repository URLs [maintainer=@figsoda]

Language:RustMPL-2.040200

nixfmt

The official (but not yet stable) formatter for Nix code

Language:NixMPL-2.065700

a11ybuddy

A platform for documenting, testing and sharing about digital accessibility for developers and users alike. Let's get together!

Language:PHPApache-2.02200

train-plushies

collection of train plushies

700

crowdsec

CrowdSec - the open-source and participative security solution offering crowdsourced protection against malicious IPs and access to the most advanced real-world CTI.

Language:GoMIT796100

nix-du

Visualise which gc-roots to delete to free some space in your nix store

Language:RustLGPL-3.030300

CorsixTH

Open source clone of Theme Hospital

Language:LuaNOASSERTION392700

fasb

faceted answer set browser

Language:RustMIT300

treefmt

one CLI to format your repo

Language:GoMIT50000

nix-autobahn

Language:Shell24500

envfs

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

Language:Rust20200

rq

Functional command-line JSON processor

Language:RustGPL-3.02400

Celeste64

A game made by the Celeste developers in a week(ish, closer to 2)

Language:C#155600

oxidd

Concurrent decision diagram framework written in Rust

Language:RustApache-2.02700

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptMIT31000

emacs-lsp-booster

Emacs LSP performance booster

Language:RustMIT31700

emacs-lsp-booster

Emacs LSP performance booster

MIT100

grocy

ERP beyond your fridge - Grocy is a web-based self-hosted groceries & household management solution for your home

Language:BladeMIT638300

tio

A serial device I/O tool

Language:CNOASSERTION177500

brother_ql_web

A Python-based web service to print labels on Brother QL label printers. Based on brother_ql: https://github.com/pklaus/brother_ql

Language:PythonGPL-3.0200

brother_ql_web

A Python-based web service to print labels on Brother QL label printers. Based on brother_ql: https://github.com/pklaus/brother_ql

Language:PythonGPL-3.0600

brother_ql_web

A Python-based web service to print labels on Brother QL label printers. Based on brother_ql: https://github.com/pklaus/brother_ql

Language:PythonGPL-3.0600