bruderjakob17

Pinned Repositories

isabelle_dark_theme
EditorSchemes and preferences for dark themes in Isabelle
20
boxGen
Language:Python00
itertools
Extra iterator adaptors, iterator methods, free functions, and macros.
Language:Rust00
mc4d-algs
Algorithms for Magic Cube 4D
00
miniJavaToTikz
Language:Haskell00
num2math
Complicated math expression generator
Language:JavaScript00
ocaml.org
Implementation of the ocaml.org website.
Language:OCaml00

bruderjakob17's Repositories

bruderjakob17/itertools
Extra iterator adaptors, iterator methods, free functions, and macros.
bruderjakob17/boxGen
Language:Python
bruderjakob17/miniJavaToTikz
Language:Haskell
bruderjakob17/isabelle_dark_theme
EditorSchemes and preferences for dark themes in Isabelle
2
bruderjakob17/num2math
Complicated math expression generator
Language:JavaScript
bruderjakob17/mc4d-algs
Algorithms for Magic Cube 4D
bruderjakob17/ocaml.org
Implementation of the ocaml.org website.
Language:OCaml