Stars
A command-line tool for managing bibliographic records
Jacobi theta functions and related functions.
Schema validation and conversion based on RELAX NG
Social media bot that posts personalized license plate applications the California DMV received
Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
A Git-compatible VCS that is both simple and powerful
a structural diff that understands syntax 🟥🟩
A new markup-based typesetting system that is powerful and easy to learn.
Test your rendered HTML files to make sure they're accurate.
A list of UK university IP ranges, ideal for conducting across sector research.
LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
An Emacs framework for the stubborn martian hacker
A simple voice bridge between Mumble and Discord.
Command-line program to download videos from YouTube.com and other video sites
A linux utility to get information on filesystems, like df but better
Simple WebM maker for mpv, with no external dependencies.
Synapse: Matrix homeserver written in Python/Twisted.