zyklotomic
Follow
Stars
Finetune Llama 3.3, DeepSeek-R1, Gemma 3 & Reasoning LLMs 2x faster with 70% less memory! 🦥
Implementing reverse-mode automatic differentiation.
A python script that takes an image and resizes it for use as a Discord emote.
higher-order algebraic effects done right for Haskell
Emanate a structured view of your plain-text notes
Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.
Pure and reproducible nix overlay of binary distributed rust toolchains
End-to-end encrypted, FOSS cloud for Photos, 2FA secrets and more!
bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.
A datetime library for Rust that encourages you to jump into the pit of success.
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
Collection of image builders [maintainer=@Lassulus]
NIx Language server, an incremental analysis assistant for writing in Nix.
Quickly build and run kernels inside a virtualized snapshot of your live system
A massively parallel, optimal functional runtime in Rust
A massively parallel, high-level programming language
A rendition of everyone's favorite 1995 Microsoft operating system for Linux.
Deduplicating archiver with compression and authenticated encryption.
Animated visualizations of several garbage collection algorithms