- Leipzig
- https://keybase.io/corocoton
Lists (10)
Sort Name ascending (A-Z)
antipatterns
Awesome Collections
courses
flakes config scaffold/example
Ppls flakes configs they use to configure their systemsneovim using nix/flakes
collects frameworks / examples baseline: https://nixos.org/manual/nixpkgs/stable/#vimnetwork
monitoring, debugging etc.self hosted runner for gha using
verifications and proofs
Stars
βοΈ van niets iets βοΈ infrastructure from "nix" with flake-parts and clan
Parse and compare package versions and ranges. From debian, npm, pypi, ruby and more. Process all the version range specs and expressions. This project is sponsored by an NLnet project https://nlneβ¦
Your browser catches homograph attacks. Your terminal doesn't. Tirith guards the gate β intercepts suspicious URLs, ANSI injection, and pipe-to-shell attacks before they execute.
Pure C inference of Mistral Voxtral Realtime 4B speech to text model
About A git subcommand for analyzing package/dependency usage in git repositories over time
Functional highly reproducible bioinformatics pipelines
Reactive Nix: Enabling Functional Reactive Configuration with mgmt
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
A decentralized binary cache for Nix over Git
Parametric Linux distribution for Klipper 3D printers
Tini-like PID 1 for containers and target for NixOS modular services
Naive implementation of Profunctor Optics in Nix
Parse dune-project files into nix expressions. Automatically update buildDunePackage using dune-project as your package's source of truth.
Nix devshell for Rust on ESP/ESP32. Pre-built compiler runs in a strict Bubblewrap sandbox.
Plug-and-play ad-blocking and DNS privacy for Raspberry Pi with Pi-hole + Unbound on NixOS.
port of the remake of the 2010 google doodle for desktop, mobile, PS Vita, 3DS, Tizen, and others, too.