-
lean4-tactics Public
Forked from madvorak/lean4-tacticsOverview of tactics in Lean 4 for beginners — longer version
The Unlicense UpdatedJun 26, 2025 -
neko Public
neko (ねこ) — A C subset compiler built to pounce on the basics of compiler design, one step at a time
-
kit-thesis-template Public
A Typst Template that mimics the thesis style at Karlsruhe Institute of Technology
-
alice Public
A proof checker for constructive logic
-
flakeshot Public
A screenshot tool for unix-systems which runs natively on Wayland and X11!
-
Artemis Public
Forked from ls1intum/ArtemisArtemis - Interactive Learning with Automated Feedback
Java MIT License UpdatedOct 15, 2024 -
tsify Public
Forked from siefkenj/tsifyA library for generating TypeScript definitions from rust code.
Rust Apache License 2.0 UpdatedAug 5, 2024 -
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix 8000 MIT License UpdatedNov 5, 2023 -
xdg-desktop-portal-hyprland Public
Forked from hyprwm/xdg-desktop-portal-hyprlandxdg-desktop-portal backend for hyprland
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 5, 2023 -
parameterized-algorithms Public
Materials I made for proseminar "Algorithmen für NP-schwere Probleme" at Karlsruhe Institute of Technology
TeX UpdatedJul 8, 2023 -
di Public
A lightweight TypeScript Dependency Injector using reflect-metadata
-
domain-check Public
A promise based lib to check if a domain name is available or not
-
-
koeri-tests Public
Forked from acul021/koeri-testsJUnit 5 tests for all IPv4 forest lovers out there
Java Do What The F*ck You Want To Public License UpdatedMar 9, 2022 -
vertretungAppBackend Public
Vertretungsplan Backend der Vertrtungsplannapp des Gymnasium Leoninum Handrup
TypeScript UpdatedJun 1, 2021 -
unifi-voucher-terminal Public
Unifi Voucher Terminal is an inofficial app for voucher code printing by pressing a button using a raspberry pi and an Epson TM88-IV (other serial printers may be supported)
-
-
-
-
ldap2moodle Public
Sync LDAP users and classes from linuxmuster.net to a Moodle installation using its REST api.
-
crestronclient Public
A Python lib for connecting to crestron processors as an XPanel app
-
-
Snake Public
The popular snake game written in pure Javascript with html5 canvas
JavaScript The Unlicense UpdatedDec 26, 2018 -
-
SimpleArduinoRotaryEncoder Public
A simple library for reading the direction of a rotary encoder and if it is pressed
C++ UpdatedMar 4, 2018 -
{{ message }}