Hacker GitHub

← All repos

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

Mentions per year 4 mentions · busiest year 2025 (4)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 23
    Filnix Fil-C Nix
    story by computersuck · 2025-11-07 · 0 comments