GitHunt

Christian Krause

Bergschaf

Languages

Python22%TeX17%Lean13%C#13%Typst9%C9%Shell4%Lua4%HTML4%CSS4%

Loading contributions...

Top Repositories

banach-tarski
12TeX
Siedler_II_remake

A 3D remake of the RTS Settlers II.

7C#
lean-banach-tarski
6TeX
Localic-Caratheodory-Extensions
3Lean
Pyduino-Plugin
3Python
LA_Zettel
2Typst

Repositories

49
BE
Bergschaf/Localic-Caratheodory-Extensions

No description provided.

Lean31Updated 4 days ago
BE
Bergschaf/mathlib4Fork

The math library of Lean 4

Lean00Updated 4 days ago
BE
Bergschaf/RISC-V_BWINF

No description provided.

Typst00Updated 2 weeks ago
BE
Bergschaf/hypr-dotfiles

No description provided.

Shell00Updated 1 month ago
BE
Bergschaf/LA_Zettel

No description provided.

Typst20Updated 1 month ago
BE
Bergschaf/banach-tarskiArchived

No description provided.

TeX120Updated 1 year ago
lean4
BE
Bergschaf/lean-banach-tarski

No description provided.

TeX60Updated 3 months ago
BE
Bergschaf/Advent-of-Code

No description provided.

Python00Updated 3 months ago
BE
Bergschaf/Siedler_II_remake

A 3D remake of the RTS Settlers II.

C#70Updated 3 years ago
gamertssettlers-iiunityunity3d
BE
Bergschaf/Mandelbrot

No description provided.

C#00Updated 9 months ago
BE
Bergschaf/BWINF_2024_Runde_2

No description provided.

TeX00Updated 10 months ago
BE
Bergschaf/logseq-image-editorFork

A picture editor plugin running in Logseq

00Updated 2 years ago
BE
Bergschaf/Python-Kurs

No description provided.

00Updated 12 months ago
BE
Bergschaf/sktimeFork

A unified framework for machine learning with time series

Python00Updated 1 year ago
BE
Bergschaf/config.nvim

No description provided.

Lua00Updated 1 year ago
BE
Bergschaf/leanblueprintFork

plasTeX plugin to build formalization blueprints.

Python00Updated 1 year ago
BE
Bergschaf/Julia-4D

No description provided.

C#00Updated 1 year ago
BE
Bergschaf/Bergschaf

Config files for my GitHub profile.

10Updated 1 year ago
configgithub-config
BE
Bergschaf/Familie_Haarburger

No description provided.

HTML00Updated 1 year ago
BE
Bergschaf/Seminarkurs

No description provided.

TeX00Updated 1 year ago
BE
Bergschaf/pykanFork

Kolmogorov Arnold Networks

01Updated 1 year ago
BE
Bergschaf/Pyduino-PluginArchived

No description provided.

Python30Updated 3 years ago
BE
Bergschaf/slFork

SL(1): Cure your bad habit of mistyping

C00Updated 1 year ago
BE
Bergschaf/cascadeFork

A responsive One-Line CSS Theme for Firefox.

10Updated 2 years ago
BE
Bergschaf/lean4web-banach-tarskiFork

The Lean 4 web editor

CSS00Updated 2 years ago
BE
Bergschaf/Pyduino2

No description provided.

C00Updated 2 years ago
BE
Bergschaf/hyprland_config

No description provided.

Lean00Updated 2 years ago
BE
Bergschaf/Minecraft

No description provided.

00Updated 2 years ago
BE
Bergschaf/Musik-GFS

No description provided.

00Updated 2 years ago
BE
Bergschaf/FlowField

No description provided.

Python00Updated 2 years ago

Gists

Recent Activity