A modern computer algebra library for Python and Rust.

ExifTool meta information reader/writer

From anything to mesh like human artists. Official impl. of "MeshAnything: Artist-Created Mesh Generation with Autoregressive Transformers"

Stack trace visualizer

answer/display ical invitations with mutt

Migrate C code to Rust

A generic motion planning framework in Rust. Simply a side project for now.

Neovim file explorer: edit your filesystem like a buffer

Implementation of gx without the need of netrw

File Browser extension for telescope.nvim

A Neovim Plugin for the yazi terminal file manager

Easily add additional highlights to your buffers

Neovim colorschemes generated on the fly with a text prompt using ChatGPT

Ergonomic bindings to SQLite for Rust

Find And Replace plugin for neovim

An extremely fast LaTeX formatter written in Rust

Lean documentation authoring tool

A cross-platform, safe, pure-Rust graphics API.

Command-line interface which provides methods to modify TextGrids (.TextGrid) and their corresponding audio files (.wav).

Multilingual Automatic Speech Recognition with word-level timestamps and confidence

LLMs as Copilots for Theorem Proving in Lean

Free monospaced font with programming ligatures

Download PDF from Sci-Hub automatically For Zotero7

A plugin that will automatically download PDFs of zotero items from sci-hub

Make Zotero effective for us LaTeX holdouts

Zotero Plugin for OCR

Export iMessage data + run iMessage Diagnostics

An experimental Rust native UI framework

Zebar is a tool for creating customizable and cross-platform taskbars, desktop widgets, and popups.