Visualize/analyze a Rust crate's internal structure

Cell compiler

Unwrap infallible results with all convenience and no fear

The pdfjam package for manipulating PDF files

Create booklets from PDF files

Lean 4 programming language and theorem prover

Functional Programming in Lean

Neovim support for the Lean theorem prover

A Rust compiler front-end for IDEs

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

A curated list with resources about node-based UIs

Neovim plugin to manage the file system and other tree like structures.

Static typing support for the array API standard

Strip ANSI escape sequences from a string

A generic project skeleton for Python projects.

Pytest plugin for regression testing: https://pytest-regressions.readthedocs.io

A plugin for snapshot testing with pytest.

A collection of tips, tricks and links to help you speed up your pytest suite.

Auto-detect the connected display hardware and load the appropriate X11 setup using xrandr

A key remapping daemon for linux.

The Rust package registry

Haskell library for parsing and evaluating typst

Binary installation for rust projects

A typst package for making timelines inspired by the latex chronology package.

A fast, feature-rich static code analyzer & language server for Python

Neovim plugin that adds support for file operations using built-in LSP

Graph database implementing the RDF and SPARQL standards. Very fast and scales to more than a trillion triples on a single commodity machine

Detect silent data corruption under Linux using sha256 stored in extended attributes

A Vim mode for FStar