Stars
Ruby binding to typst, a new markup-based typesetting system that is powerful and easy to learn.
MeshSense directly connects to your Meshtastic node via Bluetooth or WiFi and continuously provides information to assess the health of your mesh network.
Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"
Vim-Like Keybindings for Aerc. Aerc is an exceptional terminal-based email client known for its efficiency and simplicity.
sync articles between remarkable and wallabag
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.
Address lookup tool for Notmuch in C using GLib and libnotmuch
Official gem repository: Ruby kernel for Jupyter/IPython Notebook
Moved to codeberg - Fuzzy picker & vim.ui.select implementation via fzy for neovim
Counting and uniform random generation of several classes of DAGs
Library providing printf-style formatted output routines with tex-like syntax support.
KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Source code for the Mathematics in Lean tutorial.
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
Cosma is a document graph visualization tool. It modelizes interlinked Markdown files and renders them as an interactive network in a web interface.
Boost.Graph Cookbook 1: Basics
Run a command waiting until it or one of its subprocessed have opened and closed a given file
Write LaTeX theorems in Pandoc Markdown