bordaigorl
I am a researcher in Theoretical Computer Science, currently working at the Max Planck Institute for Software Systems.
University of KonstanzKonstanz, Germany
bordaigorl's Stars
sindresorhus/awesome
😎 Awesome lists about all kinds of interesting topics
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
github/gitignore
A collection of useful .gitignore templates
kdn251/interviews
Everything you need to know to get the job.
google/material-design-icons
Material Design icons by Google (Material Symbols)
microsoft/fluentui-emoji
A collection of familiar, friendly, and modern emoji from Microsoft
facebookresearch/nougat
Implementation of Nougat Neural Optical Understanding for Academic Documents
gotenberg/gotenberg
A developer-friendly API for converting numerous document formats into PDF files, and more!
danburzo/percollate
A command-line tool to turn web pages into readable PDF, EPUB, HTML, or Markdown docs.
git-town/git-town
Git made easy for teams
cuthbertLab/music21
music21 is a Toolkit for Computational Musicology
quodlibet/mutagen
Python module for handling audio metadata
xiaohanyu/awesome-tikz
A curated list of awesome TikZ documentations, libraries and resources
kudrykv/latex-yearly-planner
Digital planner for Supernote and ReMarkable // Support Ukraine 🇺🇦 https://savelife.in.ua/en
bspaans/python-mingus
Mingus is a music package for Python
spyder-ide/qtawesome
Iconic fonts in PyQt and PySide applications
zachleat/glyphhanger
Your web font utility belt. It can subset web fonts. It can find unicode-ranges for you automatically. It makes julienne fries.
LaPreprint/LaPreprint
📝 A nicely formatted LaTeX preprint template
negrinho/sane_tikz
Reconquer the canvas: beautiful Tikz figures without clunky Tikz code
NiLuJe/FBInk
FrameBuffer eInker, a small tool & library to print text & images to an eInk Linux framebuffer
ultimate-pa/ultimate
The Ultimate program analysis framework.
rschroll/rmrl
Render reMarkable documents to PDF
ricklupton/rmscene
Read v6 .rm files from the reMarkable tablet
sunfounder/picar-4wd
ddvk/reader
sunfounder/pico_4wd_car
tchajed/coq-sep-logic
Separation logic library for Coq
Calvin-L/sublime-coq-plugin
Syntax highlighting and Coq interactivity for Sublime Text 3
rcdickerson/orhle
An automatic verifier for RHLE properties.
patrickleboutillier/jazzbook
Online compilation of Jazz standards