Pinned Repositories
.doom.d
Doom Emacs configuration
clients
Bitwarden client applications (web, browser extension, desktop, and cli)
isabelle-emacs
Clone of isabelle, with LSP extensions in seperate branches
Isabelle-Numerical-Integration
plover-output-dotool
plover plugin to output using dotool
pntools
Petri net and labelled partial order tools
RSA-420
A slim and compact Python library for RSA encryption.
SimpleParser
a simple parser written in C
TUMbot
TumBot-1
halbGefressen's Repositories
halbGefressen/plover-output-dotool
plover plugin to output using dotool
halbGefressen/.doom.d
Doom Emacs configuration
halbGefressen/clients
Bitwarden client applications (web, browser extension, desktop, and cli)
halbGefressen/isabelle-emacs
Clone of isabelle, with LSP extensions in seperate branches
halbGefressen/Isabelle-Numerical-Integration
halbGefressen/pntools
Petri net and labelled partial order tools
halbGefressen/RSA-420
A slim and compact Python library for RSA encryption.
halbGefressen/SimpleParser
a simple parser written in C
halbGefressen/TUMbot
halbGefressen/TumBot-1