-
University of Paderborn
- Paderborn
-
22:27
(UTC +02:00) - https://www.uni-ulm.de/en/in/sp/team/paul-maximilian-bittner/
- https://orcid.org/0000-0001-9388-0649
- @PaulMBittner
-
-
everforest-emacs Public
Forked from Theory-of-Everything/everforest-emacseverforest for emacs!
Emacs Lisp GNU General Public License v3.0 UpdatedSep 20, 2024 -
LaTeXUtils Public
Recurring commands and patterns I use across all my LaTeX documents.
-
Polypropylene Public
EDSL for Polymorphism-Aware Entity Component Systems
-
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedJun 19, 2024 -
-
catppuccin-emacs Public
Forked from catppuccin/emacs🍄 Soothing pastel theme for Emacs
Emacs Lisp MIT License UpdatedMay 15, 2024 -
-
agda-yasnippets Public archive
archived because moved to my dotfiles (see https://github.com/pmbittner/dotfiles)
-
Library to Compute Centres of Rotation for Optimised Centres of Rotation Skinning by Le and Hodgins 2016 "Real-time Skeletal Skinning with Optimized Centers of Rotation"
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedMay 8, 2023 -
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedMar 8, 2023 -
SlideTemplate Public
Forked from SoftVarE-Group/SlideTemplateA beamer latex template for slides and lectures at University of Ulm
TeX Creative Commons Zero v1.0 Universal UpdatedNov 28, 2022 -
PaxEngine3 Public
Game Engine focused on finding expressive but simple ways to build any game
-
-
SynchronizationStudy Public
Forked from SynchronizationStudy/SynchronizationStudyJava Apache License 2.0 UpdatedApr 2, 2022 -
SharpCategory Public
Solutions for the Challenges of "Category Theory for Programmers" by Bartosz Milewski in C#
C# UpdatedNov 1, 2021 -
MibTeX Public
Forked from SoftVarE-Group/MibTeXMinimalistic tool to manage your references with BibTeX
-
AdventOfCode2020 Public
My Solutions for the Advent of Code 2020
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 21, 2021 -
assimp Public
Forked from assimp/assimpThe official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
C++ Other UpdatedMar 2, 2021 -
box2d Public
Forked from erincatto/box2dBox2D is a 2D physics engine for games
C++ MIT License UpdatedFeb 14, 2021 -
-
Studiengangskonfigurator Public
Configurator for Branches of Study at TU Braunschweig
2 UpdatedJan 6, 2020 -