mbrock/filnix
View on GitHub ↗ ★ 144 Rocq Prover
Fil-C as a Nix C/C++ toolchain and cross platform
4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2025-10-28 · latest 2025-12-14
20082026
-
If you're into Nix, check out https://github.com/mbrock/filnix — not yet integrated & maintained in upstream Nixpkgs, but lets you replace Nix/NixOS packages with Fil-C versions quite easily.
comment by mbrock · 2025-12-14 · in Linux Sandboxes and Fil-C -
Check out this document to see how the Fil-C ports of Python and Perl and so on work: https://github.com/mbrock/filnix/blob/main/ports/analysis.md This is still within the userspace application realm but it's good to know that Fil-C does…
comment by mbrock · 2025-10-28 · in Fil-C: A memory-safe C implementation -
…as well as integrating Fil-C as a toolchain in Nix so you can build any Nix package with Fil-C. https://github.com/mbrock/filnix It's working. It builds tmux, nethack, coreutils, Perl, Tcl, Lua, SQLite, and a bunch of other stuff. Binary…
comment by mbrock · 2025-10-28 · in Fil-C: A memory-safe C implementation