Executes commands in response to file modifications —— Maintenance status: on hold. I have no time for OSS currently; back late 2024.

A full featured, fast Command Line Argument Parser for Rust

Converts to and from various cases.

(Rust) Coloring terminal so simple you already know how to do it !

derive(Error) for struct and enum error types

Rust friendly bindings to *nix APIs

Date and time library for Rust

A Rust library for random number generation.

🔤 Rust implementations of string similarity metrics

Rust TOML Parser

Flexible concrete Error type built on std::error::Error

The user-friendly command line shell.

Rust quasi-quoting

Project for learning V8 internals

Set Theory Game

Lean 4 programming language and theorem prover

Natural Number Game

The math library of Lean 4

GitHub action for standard CI in Lean projects

Neovim support for the Lean theorem prover

Pure Nix flake utility functions [maintainer=@zimbatm]

The official (but not yet stable) formatter for Nix code

My NixOS dotfiles

A shell script which checks your $HOME for unwanted files and directories.

Swiss-knife for updating nix packages.