just-max
Follow
-
ge-rapid-clean-ii-font Public
A digital recreation of the font used by the seven-segment display in the General Electric Rapid Clean II stove.
UpdatedJan 3, 2025 -
ipv6-dyndns Public
Monitor IPv6 addresses of interface and update DNS
Python MIT License UpdatedDec 23, 2024 -
isabelle-poly-reductions Public
Forked from rosskopfs/poly-reductionsPolynomial-time reductions in Isabelle/HOL (development fork)
Isabelle UpdatedOct 8, 2024 -
less-power Public
Framework for sandboxed testing of OCaml code.
-
ls1intum-artemis Public
Forked from ls1intum/ArtemisArtemis - Interactive Learning with Automated Feedback (development fork)
Java MIT License UpdatedAug 12, 2024 -
isabelle-ml-typeclasses Public
Forked from kappelmann/ml-typeclasses-isabelleHaskell-like typeclasses as ML Structures (for Isabelle)
Standard ML UpdatedAug 7, 2024 -
-
cinny Public
Forked from cinnyapp/cinnyYet another matrix client
TypeScript GNU Affero General Public License v3.0 UpdatedJun 28, 2024 -
less-power-examples Public
Examples for the Less Power programming exercise framework for OCaml.
Shell BSD Zero Clause License UpdatedApr 20, 2024 -
ki_pybot Public
Forked from janin-s/ki_pybotPython Bot für Discord
Python Other UpdatedApr 1, 2024 -
windows95-grub2-theme Public
The Windows 95 GRUB2 theme is a GRUB2 theme in the style of Windows 95.
-
-
-
python-keepassxc-async Public
Asyncio-compatible client for the KeePassXC browser protocol.
Python MIT License UpdatedJan 20, 2024 -
ocaml.org Public
Forked from ocaml/ocaml.orgThe official OCaml website (development fork).
HTML Other UpdatedAug 21, 2023 -
-
goblint-analyzer Public
Forked from goblint/analyzerStatic analysis framework for C (development fork)
OCaml MIT License UpdatedMay 30, 2023 -
-
exzellenz Public
An especially excellent font.
-
TUM-Live Public
Forked from TUM-Dev/gocastLecture streaming service of the TUM (development fork)
Go MIT License UpdatedMar 1, 2023 -
tum-thesis-latex Public
Forked from fwalch/tum-thesis-latex📔 A LaTeX template for TUM Bachelor/Master theses (development fork)
TeX UpdatedNov 9, 2022 -
abstraktion Public
Multiline lambda expressions for Python.
Python The Unlicense UpdatedSep 23, 2022 -
goblint-g2html Public
Forked from goblint/g2htmlGoblint XML result to HTML converter (development fork)
Java UpdatedSep 6, 2022 -
variable-font-demo Public
A demo using a variable thickness font on a green square background.
-
cinnamon-spices-extensions Public
Forked from linuxmint/cinnamon-spices-extensionsExtensions for the Cinnamon desktop
JavaScript UpdatedMay 10, 2021 -
PGDPde Public
Forked from simonpannek/PGDPdeA list featuring some tutors of the TUM course "Praktikum Grundlagen der Programmierung"
HTML UpdatedNov 17, 2020 -
pgdp-test-case-template Public archive
Template for creating and building JUnit tests for a programming course.
Java Creative Commons Zero v1.0 Universal UpdatedDec 20, 2019 -
category-exporter Public
Glebe's Reach For The Top team's secret sauce. The reason our trivia nights are so good.
JavaScript GNU General Public License v3.0 UpdatedMay 24, 2019