Hacker GitHub

← All repos

goblint/cil

View on GitHub ↗ ★ 162 OCaml

C Intermediate Language

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2024-10-07 · latest 2024-11-01

Mentions per year 3 mentions · busiest year 2024 (3)
20082026
  1. ▲ 80
    CIL: C Intermediate Language
    story by tosh · 2024-10-28 · 32 comments