• DE

  • hobby programmer (Rust since June 2018)

  • Joined on 2022年08月28日
Filter
Sort
n-ary (homogeneous) functions and tuples in Lean.
Updated 2026年01月15日 01:41:27 +01:00
My uBlock Origin filters
Updated 2026年01月11日 19:08:16 +01:00
Opinionated math/physics package for typst
Updated 2026年01月05日 21:57:25 +01:00
Additional source packages for Void Linux, maintained by me.
Updated 2025年12月25日 12:27:42 +01:00
Advent of Code Exercises
Updated 2025年12月08日 21:48:09 +01:00
Rust syntax quasi-quote for procedural macros (alternative to `quote`)
Updated 2025年12月05日 23:31:49 +01:00
test
Updated 2025年12月05日 10:07:47 +01:00
More powerful symbols for typst
Updated 2025年10月25日 06:55:36 +02:00
Typst reflection, but at a price (performance (and maybe your soul))
Updated 2025年10月25日 06:36:06 +02:00
Find the longest file name in your file system
Updated 2025年10月18日 20:26:03 +02:00
Safe wrappers to locale-dependent character encoding and related functionality from POSIX
Updated 2025年10月16日 08:25:11 +02:00
Rust Macros for implementing `wasm_component_layer::ComponentType`
Updated 2025年10月05日 21:10:50 +02:00
Runs `cargo check` for all feature combinations
Updated 2025年10月05日 16:04:07 +02:00
Updated 2025年10月05日 15:29:53 +02:00
Type-level programming primitives for Rust
Updated 2025年09月27日 00:16:25 +02:00