goblint/cil external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

goblint/cil

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/goblint/cil)

Close

goblint / cilView on GitHubMore

• External links
• Readme badge

C Intermediate Language

☆159Feb 10, 2026Updated 2 weeks ago

Alternatives and similar repositories for cil

Users that are interested in cil are comparing it to the libraries listed below

• zanderso / cil-template

  View on GitHub
  A simple tutorial about how to use the CIL compiler frontend
  ☆12Feb 10, 2025Updated last year
• goblint / analyzer

  View on GitHub
  Static analysis framework for C
  ☆235Updated this week
• cil-project / cil

  View on GitHub
  C Intermediate Language
  ☆394Sep 14, 2023Updated 2 years ago
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated last month
• trailofbits / macroni

  View on GitHub
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Aug 14, 2024Updated last year
• glynawe / awe

  View on GitHub
  A compiler for the Algol W programming language.
  ☆15Jul 13, 2025Updated 7 months ago
• NICUP14 / MiniLang

  View on GitHub
  A type-safe C successor that compiles directly to various platforms.
  ☆139May 2, 2025Updated 10 months ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• xavierleroy / canonical-binary-tries

  View on GitHub
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆21Apr 17, 2024Updated last year
• tomhea / c2fj

  View on GitHub
  Compiling C to FlipJump
  ☆96Jan 18, 2025Updated last year
• harp-lab / slog-lang1

  View on GitHub
  Slog 1.0
  ☆47Jun 11, 2024Updated last year
• 7mind / jopa

  View on GitHub
  JOPA: Java compiler in C++
  ☆71Dec 6, 2025Updated 2 months ago
• true-grue / python-dsls

  View on GitHub
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Dec 30, 2023Updated 2 years ago
• Maxim-Mushizky / cstructpy

  View on GitHub
  A package that allows to create data models classes for c like structs that eases sending and reading binary messages
  ☆20Oct 28, 2024Updated last year
• OCamlPro / owi

  View on GitHub
  Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
  ☆281Feb 23, 2026Updated last week
• needleful / c_plus_prolog

  View on GitHub
  C plus Prolog
  ☆168Mar 11, 2025Updated 11 months ago
• dariusf / iota

  View on GitHub
  Io-to-JavaScript compiler
  ☆25May 26, 2017Updated 8 years ago
• lisa-analyzer / lisa

  View on GitHub
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆73Feb 12, 2026Updated 2 weeks ago
• udem-dlteam / pnut

  View on GitHub
  🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell
  ☆496Feb 23, 2026Updated last week
• sto / ssft

  View on GitHub
  Shell Scripts Frontend Tool. Function library useful to build shell script frontends
  ☆10Jun 16, 2020Updated 5 years ago
• keyvank / 30cc

  View on GitHub
  30 C Compiler
  ☆317Jan 3, 2025Updated last year
• martinfama / fui

  View on GitHub
  framebuffer user interface
  ☆300May 19, 2025Updated 9 months ago
• irrio / semblance

  View on GitHub
  My WebAssembly VM
  ☆76Jan 26, 2026Updated last month
• dbuenzli / trel

  View on GitHub
  Relational programming for OCaml (unreleased)
  ☆24Jun 6, 2022Updated 3 years ago
• tchoutri / confer

  View on GitHub
  The symbolic links manager for your configuration files
  ☆34Feb 4, 2026Updated 3 weeks ago
• mmottl / res

  View on GitHub
  OCaml library for resizable arrays and strings
  ☆26Nov 28, 2025Updated 3 months ago
• githwxi / ATS-Temptory

  View on GitHub
  For supporting template-based programming
  ☆23Jun 21, 2020Updated 5 years ago
• X547 / Haiku-riscv

  View on GitHub
  Haiku port to RISC-V architecture
  ☆24Oct 7, 2021Updated 4 years ago
• bvaugon / ocamlcc

  View on GitHub
  OCaml bytecode to C compiler
  ☆103Sep 30, 2020Updated 5 years ago
• static-analysis-engineering / codehawk

  View on GitHub
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆74Updated this week
• junichi11 / netbeans-noext-mime-resolver

  View on GitHub
  ☆14Oct 2, 2020Updated 5 years ago
• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• bynect / algorithm-w

  View on GitHub
  Type inference implementation in OCaml using Algorithm W
  ☆10Aug 26, 2021Updated 4 years ago
• funfried / nb-editor-close-left-right

  View on GitHub
  Close Left & Close Right plugin for Netbeans IDE
  ☆12Oct 30, 2025Updated 4 months ago
• amoAHCP / mvnDemos

  View on GitHub
  demo projects for maven tutorials
  ☆11Oct 9, 2014Updated 11 years ago
• saveourtool / benedikt

  View on GitHub
  A GitHub Action to check your code with diKTat
  ☆10Dec 25, 2023Updated 2 years ago
• gdeest / ocaml-isl

  View on GitHub
  OCaml bindings for the Integer Set Library.
  ☆13Jun 12, 2014Updated 11 years ago
• rocher / AdaML

  View on GitHub
  Ada-tailored UML Modeling Language
  ☆11May 14, 2023Updated 2 years ago
• raoulDoc / CodePatternPlugin

  View on GitHub
  Example of a javac Plugin
  ☆14Dec 29, 2015Updated 10 years ago