Pinned Repositories
abstraktion
Multiline lambda expressions for Python.
category-exporter
Glebe's Reach For The Top team's secret sauce. The reason our trivia nights are so good.
cinnamon-spices-extensions
Extensions for the Cinnamon desktop
exzellenz
An especially excellent font.
less-power
Framework for sandboxed testing of OCaml code.
owo
something something owo
variable-font-demo
A demo using a variable thickness font on a green square background.
windows95-grub2-theme
The Windows 95 GRUB2 theme is a GRUB2 theme in the style of Windows 95.
just-max's Repositories
just-max/exzellenz
An especially excellent font.
just-max/less-power
Framework for sandboxed testing of OCaml code.
just-max/windows95-grub2-theme
The Windows 95 GRUB2 theme is a GRUB2 theme in the style of Windows 95.
just-max/owo
something something owo
just-max/variable-font-demo
A demo using a variable thickness font on a green square background.
just-max/abstraktion
Multiline lambda expressions for Python.
just-max/category-exporter
Glebe's Reach For The Top team's secret sauce. The reason our trivia nights are so good.
just-max/cinnamon-spices-extensions
Extensions for the Cinnamon desktop
just-max/goblint-analyzer
Static analysis framework for C (development fork)
just-max/goblint-cil
C Intermediate Language
just-max/goblint-g2html
Goblint XML result to HTML converter (development fork)
just-max/TUM-Live
Lecture streaming service of the TUM (development fork)
just-max/cinny
Yet another matrix client
just-max/isabelle-ml-typeclasses
Haskell-like typeclasses as ML Structures (for Isabelle)
just-max/isabelle-poly-reductions
Polynomial-time reductions in Isabelle/HOL (development fork)
just-max/ki_pybot
Python Bot für Discord
just-max/less-power-examples
Examples for the Less Power programming exercise framework for OCaml.
just-max/linuxmint-mintsources
just-max/ls1intum-artemis
Artemis - Interactive Learning with Automated Feedback (development fork)
just-max/ocaml.org
The official OCaml website (development fork).
just-max/pgdp-test-case-template
Template for creating and building JUnit tests for a programming course.
just-max/PGDPde
A list featuring some tutors of the TUM course "Praktikum Grundlagen der Programmierung"
just-max/playground-redirect
just-max/python-keepassxc-async
Asyncio-compatible client for the KeePassXC browser protocol.
just-max/scratchpad
Tests and experiments
just-max/tum-thesis-latex
:notebook_with_decorative_cover: A LaTeX template for TUM Bachelor/Master theses (development fork)