Hacker GitHub

← All repos

ltcmelo/psychec

View on GitHub ↗ ★ 572 C++

A compiler frontend for the C programming language

5 mentions on Hacker News by 4 people: 4 stories, 1 comment · first 2019-09-09 · latest 2025-12-24

Mentions per year 5 mentions · busiest year 2019 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Psychec: ML-style type inference for C
    story by fanf2 · 2025-12-24 · 1 comment
  2. …being able to do static analysis on incomplete code snippet is certainly extremely useful. [0] https://github.com/ltcmelo/psychec
    comment by segfaultbuserr · 2024-05-27 · in Psyche-C: automatic compilation of partially-available C programs
  3. ▲ 2
    Psyche: A C front end for implementation of static analysis tools
    story by harporoeder · 2021-03-06 · 0 comments
  4. ▲ 1
    Psychec: ML-style type inference for C
    story by fanf2 · 2019-09-09 · 0 comments
  5. ▲ 90
    Generics in C without void* or macros – enabled by psychec
    story by unusualcool · 2019-09-09 · 70 comments