Block or Report
Block or report just-max
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
isabelle-poly-reductions Public
Forked from rosskopfs/poly-reductionsPolynomial-time reductions in Isabelle/HOL (development fork)
Isabelle UpdatedJul 18, 2024 -
less-power Public
Framework for sandboxed testing of OCaml code.
-
isabelle-ml-typeclasses Public
Forked from kappelmann/ml-typeclasses-isabelleHaskell-like typeclasses as ML Structures (for Isabelle)
Standard ML UpdatedJul 9, 2024 -
cinny Public
Forked from cinnyapp/cinnyYet another matrix client
TypeScript GNU Affero General Public License v3.0 UpdatedJun 28, 2024 -
ls1intum-artemis Public
Forked from ls1intum/ArtemisArtemis - Interactive Learning with Automated Feedback (development fork)
Java MIT License UpdatedApr 29, 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