Stars
A Rust library to generate annotated branch diagrams from hierarchical data
Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file
Wireguard client that exposes itself as a socks5 proxy
Python tool for converting files and office documents to Markdown.
This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.
An extremely fast LaTeX formatter written in Rust
A command-line tool for managing bibliographic records
Repository for the September 2023 Hausdorff School on Lean
Lean 4 experiments in undergraduate group theory
A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
A markup-based typesetting system that is powerful and easy to learn.
A full featured, fast Command Line Argument Parser for Rust
Native iOS app using the exposure notification framework from Apple. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:
Lean Library currently studying for a degree at Imperial College
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.