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
tonsky/FiraCode
Free monospaced font with programming ligatures
jarun/nnn
n³ The unorthodox terminal file manager
swagger-api/swagger-codegen
swagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition.
koreader/koreader
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
pdfcpu/pdfcpu
A PDF processor written in Go.
happi/theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
OpenBoard-org/OpenBoard
OpenBoard is a cross-platform interactive whiteboard application intended for use in a classroom setting.
kkos/oniguruma
regular expression library
ddvk/remarkable-hacks
additional functionality via binary patching
latex-lsp/texlab
An implementation of the Language Server Protocol for LaTeX
pgf-tikz/pgf
A Portable Graphic Format for TeX
alerque/libertinus
The Libertinus font family
cytopia/linux-timemachine
Rsync-based OSX-like time machine for Linux, MacOS and BSD for atomic and resumable local and remote backups
borisveytsman/acmart
ACM consolidated LaTeX styles
elementary/icons
Named, vector icons for elementary OS
rmkit-dev/rmkit
| remarkable app framework | https://rmkit.dev
lucasrla/remarks
Extract annotations (highlights and scribbles) from PDF, EPUB, and notebooks marked with reMarkable tablets. Export to Markdown, PDF, PNG, SVG
isaacwisdom/RemarkableLamyEraser
Turns the button on the Lamy Pen EMR into an eraser on the reMarkable.
jameshaydon/lawvere
A categorical programming language with effects
Evidlo/remarkable_printer
Native printing to reMarkable.
regebro/svg.path
SVG path objects and parser
dranov/protocol-bugs-list
List of bugs found in distributed protocols
GliderGeek/pocket2rm
get articles from read-later platform pocket to the remarkable paper tablet
bsdz/remarkable-layers
Python module for reading and writing Remarkable Lines files
remailable/remailable
Send documents to your ReMarkable device via email, Kindle-style
pl-semiotics/rM-vnc-server
Damage-tracking VNC server for the reMarkable tablet
machinelevel/sp425-crazy-cow
Add crude keyboard-lettering function to eink tablet
h2g2bob/ipp-server
A IPP server. Written in python, it implements enough of IPP to fool CUPS into thinking its a real printer.
ddvk/remarkable-splash
show a splashscreen + shutdown replacement that does not clear the screen
ad-freiburg/esa2018-experiment
Data and code of the ESA 2018 Experiment on the objectivity of peer review