bordaigorl

awesome

😎 Awesome lists about all kinds of interesting topics

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

gitignore

A collection of useful .gitignore templates

interviews

Everything you need to know to get the job.

material-design-icons

Material Design icons by Google (Material Symbols)

fluentui-emoji

A collection of familiar, friendly, and modern emoji from Microsoft

nougat

Implementation of Nougat Neural Optical Understanding for Academic Documents

percollate

A command-line tool to turn web pages into readable PDF, EPUB, HTML, or Markdown docs.

MagInkCal

E-Ink Magic Calendar that automatically syncs to Google Calendar and runs off a battery powered Raspberry Pi Zero

git-town

Git made easy for teams

music21

music21 is a Toolkit for Computational Musicology

mutagen

Python module for handling audio metadata

awesome-tikz

A curated list of awesome TikZ documentations, libraries and resources

latex-yearly-planner

Digital planner for Supernote and ReMarkable // Support Ukraine 🇺🇦 https://savelife.in.ua/en

python-mingus

Mingus is a music package for Python

qtawesome

Iconic fonts in PyQt and PySide applications

glyphhanger

Your web font utility belt. It can subset web fonts. It can find unicode-ranges for you automatically. It makes julienne fries.

LaPreprint

📝 A nicely formatted LaTeX preprint template

sane_tikz

Reconquer the canvas: beautiful Tikz figures without clunky Tikz code

FBInk

FrameBuffer eInker, a small tool & library to print text & images to an eInk Linux framebuffer

ultimate

The Ultimate program analysis framework.

OnyxNoteRenderer

Tool for rendering note PDFs from Onyx Note backup file.

rmscene

Read v6 .rm files from the reMarkable tablet

picar-4wd

reader

pico_4wd_car

coq-sep-logic

Separation logic library for Coq

sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3

orhle

An automatic verifier for RHLE properties.

jazzbook

Online compilation of Jazz standards