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

☆159Mar 20, 2026Updated this week

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
  ☆399Sep 14, 2023Updated 2 years ago
• 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
• static-analysis-engineering / codehawk

  View on GitHub
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆74Mar 13, 2026Updated last week
• xavierleroy / canonical-binary-tries

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

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• tomhea / c2fj

  View on GitHub
  Compiling C to FlipJump
  ☆97Jan 18, 2025Updated last year
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated 2 months ago
• softwarelanguageslab / maf

  View on GitHub
  Static Analysis Framework for Modular Analyses
  ☆14Mar 3, 2026Updated 2 weeks ago
• NICUP14 / MiniLang

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

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• irrio / semblance

  View on GitHub
  My WebAssembly VM
  ☆76Jan 26, 2026Updated last month
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• dariusf / ppx_interact

  View on GitHub
  Interactive breakpoints!
  ☆47Jan 9, 2026Updated 2 months ago
• codex-semantics-library / patricia-tree

  View on GitHub
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆16Feb 9, 2026Updated last month
• 7mind / jopa

  View on GitHub
  JOPA: Java compiler in C++
  ☆72Dec 6, 2025Updated 3 months ago
• dariusf / iota

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

  View on GitHub
  Shell Scripts Frontend Tool. Function library useful to build shell script frontends
  ☆10Jun 16, 2020Updated 5 years ago
• DLR-FT / wasm-interpreter

  View on GitHub
  A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies
  ☆35Updated this week
• nimib-land / nblog

  View on GitHub
  ✍️🐳👑 blog about nimib and nim ecosystem
  ☆12May 1, 2024Updated last year
• panglesd / blogaml

  View on GitHub
  A prototype to write blog posts with executable ocaml code blocks
  ☆10Apr 25, 2025Updated 10 months ago
• lisa-analyzer / lisa

  View on GitHub
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆75Feb 28, 2026Updated 3 weeks ago
• morpho-org / legacy-morpho-token

  View on GitHub
  Morpho token contracts.
  ☆14Dec 10, 2024Updated last year
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• namin / blond

  View on GitHub
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16May 21, 2025Updated 10 months ago
• ahrefs / devkit

  View on GitHub
  ☆34Mar 13, 2026Updated last week
• bvaugon / ocamlcc

  View on GitHub
  OCaml bytecode to C compiler
  ☆103Sep 30, 2020Updated 5 years ago
• amithur / jdtrace

  View on GitHub
  jdtrace - a DTrace based tool for Java
  ☆10May 17, 2016Updated 9 years ago
• githwxi / ATS-Temptory

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

  View on GitHub
  Kotlin/Native Standard Library (mirror)
  ☆11Mar 2, 2022Updated 4 years ago
• gdeest / ocaml-isl

  View on GitHub
  OCaml bindings for the Integer Set Library.
  ☆13Jun 12, 2014Updated 11 years ago
• season-lab / fuzzy-sat

  View on GitHub
  An approximate solver for concolic execution
  ☆22Apr 29, 2025Updated 10 months ago
• TDacik / Deadlock_and_Racer

  View on GitHub
  Frama-C plugins for deadlock and data race detection
  ☆14Feb 18, 2026Updated last month
• ocaml-multicore / saturn

  View on GitHub
  Lock-free data structures for multicore OCaml
  ☆264May 23, 2025Updated 10 months ago
• KeepCoolWithCoolidge / asciigraph

  View on GitHub
  Console ascii line graphs in pure Nim
  ☆16Mar 2, 2021Updated 5 years ago
• art-w / gamelle

  View on GitHub
  2d game engine for OCaml
  ☆75Nov 27, 2025Updated 3 months ago
• martinfama / fui

  View on GitHub
  framebuffer user interface
  ☆300May 19, 2025Updated 10 months ago