T0mstone

Lean-NAry

Lean 0 0

n-ary (homogeneous) functions and tuples in Lean.

Updated 2026-02-25 15:49:19 +01:00

anagram_finder

Rust 0 0

Updated 2026-02-13 10:36:14 +01:00

filters

0 0

My uBlock Origin filters

Updated 2026-01-11 19:08:16 +01:00

tomath

Typst 0 0

Opinionated math/physics package for typst

Updated 2026-01-05 21:57:25 +01:00

unofficial-void-packages

Shell 0 0

Additional source packages for Void Linux, maintained by me.

Updated 2025-12-25 12:27:42 +01:00

advent-of-code

Lean 0 0

Advent of Code Exercises

Updated 2025-12-08 21:48:09 +01:00

qq

Rust 1 1

Rust syntax quasi-quote for procedural macros (alternative to `quote`)

Updated 2025-12-05 23:31:49 +01:00

test

0 0

test

Updated 2025-12-05 10:07:47 +01:00

typst-symbolx

Typst 0 0

More powerful symbols for typst

Updated 2025-10-25 06:55:36 +02:00

mephistypsteles

Rust 3 0

Typst reflection, but at a price (performance (and maybe your soul))

Updated 2025-10-25 06:36:06 +02:00

longest_filename

Rust 0 0

Find the longest file name in your file system

Updated 2025-10-18 20:26:03 +02:00

posixenc

Rust 0 0

Safe wrappers to locale-dependent character encoding and related functionality from POSIX

Updated 2025-10-16 08:25:11 +02:00

wcl_type_macros

Rust 0 0

Rust Macros for implementing `wasm_component_layer::ComponentType`

Updated 2025-10-05 21:10:50 +02:00

cargo-check-all

Rust 0 0

Runs `cargo check` for all feature combinations

Updated 2025-10-05 16:04:07 +02:00

fussel

Rust 0 0

Updated 2025-10-05 15:29:53 +02:00