HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
goblint
cil
OCaml2024–2024
goblint / cil

cil

C Intermediate Language

Explore on GitHubRead Hacker News discussions
3Distinct people
3Mentions
0Explicit recommenders
162GitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

C Intermediate Language

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by day3 dated mentions

Observed mentions: 2024-10-07 06:44:41 UTC to 2024-11-01 12:52:38 UTC.

012024-10-07 00:00:00 UTC to 2024-10-08 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsOct 72024-10-08 00:00:00 UTC to 2024-10-09 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-09 00:00:00 UTC to 2024-10-10 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-10 00:00:00 UTC to 2024-10-11 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-11 00:00:00 UTC to 2024-10-12 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-12 00:00:00 UTC to 2024-10-13 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-13 00:00:00 UTC to 2024-10-14 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-14 00:00:00 UTC to 2024-10-15 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-15 00:00:00 UTC to 2024-10-16 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-16 00:00:00 UTC to 2024-10-17 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-17 00:00:00 UTC to 2024-10-18 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-18 00:00:00 UTC to 2024-10-19 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-19 00:00:00 UTC to 2024-10-20 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 commentsOct 192024-10-20 00:00:00 UTC to 2024-10-21 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-21 00:00:00 UTC to 2024-10-22 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-22 00:00:00 UTC to 2024-10-23 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-23 00:00:00 UTC to 2024-10-24 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-24 00:00:00 UTC to 2024-10-25 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-25 00:00:00 UTC to 2024-10-26 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-26 00:00:00 UTC to 2024-10-27 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-27 00:00:00 UTC to 2024-10-28 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-28 00:00:00 UTC to 2024-10-29 00:00:00 UTC (exclusive): 1 mentions; 1 submissions, 0 comments2024-10-29 00:00:00 UTC to 2024-10-30 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-30 00:00:00 UTC to 2024-10-31 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-10-31 00:00:00 UTC to 2024-11-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2024-11-01 00:00:00 UTC to 2024-11-02 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsNov 1

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
Oct 72024-10-07 00:00:00 UTC2024-10-08 00:00:00 UTC101
Oct 82024-10-08 00:00:00 UTC2024-10-09 00:00:00 UTC000
Oct 92024-10-09 00:00:00 UTC2024-10-10 00:00:00 UTC000
Oct 102024-10-10 00:00:00 UTC2024-10-11 00:00:00 UTC000
Oct 112024-10-11 00:00:00 UTC2024-10-12 00:00:00 UTC000
Oct 122024-10-12 00:00:00 UTC2024-10-13 00:00:00 UTC000
Oct 132024-10-13 00:00:00 UTC2024-10-14 00:00:00 UTC000
Oct 142024-10-14 00:00:00 UTC2024-10-15 00:00:00 UTC000
Oct 152024-10-15 00:00:00 UTC2024-10-16 00:00:00 UTC000
Oct 162024-10-16 00:00:00 UTC2024-10-17 00:00:00 UTC000
Oct 172024-10-17 00:00:00 UTC2024-10-18 00:00:00 UTC000
Oct 182024-10-18 00:00:00 UTC2024-10-19 00:00:00 UTC000
Oct 192024-10-19 00:00:00 UTC2024-10-20 00:00:00 UTC000
Oct 202024-10-20 00:00:00 UTC2024-10-21 00:00:00 UTC000
Oct 212024-10-21 00:00:00 UTC2024-10-22 00:00:00 UTC000
Oct 222024-10-22 00:00:00 UTC2024-10-23 00:00:00 UTC000
Oct 232024-10-23 00:00:00 UTC2024-10-24 00:00:00 UTC000
Oct 242024-10-24 00:00:00 UTC2024-10-25 00:00:00 UTC000
Oct 252024-10-25 00:00:00 UTC2024-10-26 00:00:00 UTC000
Oct 262024-10-26 00:00:00 UTC2024-10-27 00:00:00 UTC000
Oct 272024-10-27 00:00:00 UTC2024-10-28 00:00:00 UTC000
Oct 282024-10-28 00:00:00 UTC2024-10-29 00:00:00 UTC110
Oct 292024-10-29 00:00:00 UTC2024-10-30 00:00:00 UTC000
Oct 302024-10-30 00:00:00 UTC2024-10-31 00:00:00 UTC000
Oct 312024-10-31 00:00:00 UTC2024-11-01 00:00:00 UTC000
Nov 12024-11-01 00:00:00 UTC2024-11-02 00:00:00 UTC101

What Hacker News says

3 sources

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.