michael-markl's Stars
excalidraw/excalidraw
Virtual whiteboard for sketching hand-drawn like diagrams
python/cpython
The Python programming language
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
fathyb/carbonyl
Chromium running inside your terminal
google/or-tools
Google's Operations Research tools:
PhilippC/keepass2android
Password manager app for Android
Kunzisoft/KeePassDX
Lightweight vault and password manager for Android, KeePassDX allows editing encrypted data in a single file in KeePass format and fill in the forms in a secure way.
JabRef/jabref
Graphical Java application for managing BibTeX and biblatex (.bib) databases
OhMyGuus/I-Still-Dont-Care-About-Cookies
Debloated fork of the extension "I don't care about cookies"
vslavik/diff-pdf
A simple tool for visually comparing two PDF files
zxing-js/library
Multi-format 1D/2D barcode image processing library, usable in JavaScript ecosystem.
maplibre/martin
Blazing fast and lightweight PostGIS, MBtiles and PMtiles tile server, tile generation, and mbtiles tooling.
pdfpc/pdfpc
A presenter console with multi-monitor support for PDF files.
latex-lsp/texlab
An implementation of the Language Server Protocol for LaTeX
nvarner/typst-lsp
A brand-new language server for Typst, plus a VS Code extension
cetz-package/cetz
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
Krasjet/pdf.tocgen
A CLI toolset to generate table of contents for PDF files automatically.
google/crubit
near/borsh-rs
Rust implementation of Binary Object Representation Serializer for Hashing
astoff/digestif
A language server for TeX and friends
rxing-core/rxing
cRustacean Crossing
Cornify/Cornify
Unicorns & Rainbows On-Demand
rsc/swtch
swtch.com web server
rxing-core/rxing-wasm
WASM bindings for common rxing functions
dalanicolai/doc-tools-toc
Create, cleanup, add and manage Table Of Contents (TOC) of pdf and djvu documents with Emacs
MarginaliaSearch/encyclopedia.marginalia.nu
Marginalia Encyclopedia
digitalfabrik/integreat-compass
A digital platform aimed at improving the integration of refugees and migrants into German society and the labor market
LeonSering/multi-commodity-flows-over-time
Given network and commodity information this tool computes a feasible multi-commodity flow over time.
ArbeitsgruppeTobiasHarks/dynamic-flow-visualization
A JS-based visualization tool for dynamic (Vickrey) flows
yaoyj11/mcmcf
Minimum cost multicommodity flow solver.