Hacker GitHub

← All repos

jhjourdan/C11parser

View on GitHub ↗ ★ 215 OCaml

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2017-05-01 · latest 2026-02-09

Mentions per year 3 mentions · busiest year 2017 (1)
20082026
AllStoriesComments NewestTopOldest
  1. I think you're referring to this one: https://github.com/jhjourdan/C11parser
    comment by mahmoudimus · 2026-02-09 · in Claude’s C Compiler vs. GCC
  2. I think compcert uses this https://github.com/jhjourdan/C11parser as the parser. It's a lalr grammar with hooks for the usual lexer hack. I suspect that with a symbol table would make a cheap and reliable C to AST compiler. Somewhere on my…
    comment by JonChesterfield · 2024-05-27 · in The CompCert C Compiler
  3. A simple, possibly correct, implementation: https://github.com/jhjourdan/C11parser
    comment by __s · 2017-05-01 · in A simple, possibly correct LR parser for C11 [pdf]