cil-project/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

cil-project/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/cil-project/cil)

Close

cil-project / cilView on GitHubMore

• External links
• Readme badge

C Intermediate Language

☆394Sep 14, 2023Updated 2 years 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 / cil

  View on GitHub
  C Intermediate Language
  ☆159Feb 10, 2026Updated 2 weeks ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• dvanhorn / oaam

  View on GitHub
  Optimizing Abstract Abstract Machines
  ☆31Apr 6, 2017Updated 8 years ago
• boogie-org / sdvbench

  View on GitHub
  Microsoft Static Driver Verifier Benchmarks
  ☆14Jul 21, 2017Updated 8 years ago
• Antique-team / memcad

  View on GitHub
  The MemCAD static analyzer
  ☆27Oct 15, 2021Updated 4 years ago
• kframework / c-semantics

  View on GitHub
  Semantics of C in K
  ☆322Feb 1, 2022Updated 4 years ago
• protz / mezzo

  View on GitHub
  The language of the future!
  ☆72Jan 7, 2024Updated 2 years ago
• sosy-lab / sv-benchmarks

  View on GitHub
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆188Oct 28, 2021Updated 4 years ago
• ismailbennani / websocketml

  View on GitHub
  A simple websocket library for OCaml with no dependencies
  ☆16Apr 8, 2024Updated last year
• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 2 years ago
• LPCIC / matita

  View on GitHub
  Matita (proof assistant) with embedded elpi
  ☆15Jan 30, 2018Updated 8 years ago
• CakeML / cakeml

  View on GitHub
  CakeML: A Verified Implementation of ML
  ☆1,115Updated this week
• Drup / llvmgraph

  View on GitHub
  Ocamlgraph overlay for llvm
  ☆20Apr 4, 2015Updated 10 years ago
• boystrange / FuSe

  View on GitHub
  A simple library implementation of binary sessions
  ☆11Jun 18, 2024Updated last year
• xapi-project / xcp-networkd

  View on GitHub
  The XCP networking daemon
  ☆14May 18, 2022Updated 3 years ago
• monadius / ocaml_simple_interval

  View on GitHub
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10May 31, 2022Updated 3 years ago
• project-everest / MLCrypto

  View on GitHub
  OCaml adapters for crypto providers used in Everest
  ☆10Sep 13, 2018Updated 7 years ago
• zhangyz / llvm-slicing

  View on GitHub
  Symbolic Program Slicing with LLVM
  ☆84Aug 3, 2020Updated 5 years ago
• seahorn / seahorn

  View on GitHub
  SeaHorn Verification Framework
  ☆471May 27, 2025Updated 9 months ago
• GaloisInc / llvm-pretty

  View on GitHub
  An llvm pretty printer inspired by the haskell llvm binding
  ☆31Updated this week
• seplogic / corestar

  View on GitHub
  coreStar is a symbolic execution engine for analysis and verification with separation logic
  ☆25Jul 3, 2017Updated 8 years ago
• jtassarotti / coq-proba

  View on GitHub
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Oct 6, 2023Updated 2 years ago
• pcminer-tools / pcminer

  View on GitHub
  PC-miner tool for program chairs
  ☆29Dec 18, 2025Updated 2 months ago
• verifast / verifast

  View on GitHub
  Research prototype tool for modular formal verification of C, Rust and Java programs
  ☆475Feb 16, 2026Updated 2 weeks ago
• marcoonroad / ocaml-cuid

  View on GitHub
  CUID generator for OCaml.
  ☆18May 7, 2022Updated 3 years ago
• japesinator / tarts

  View on GitHub
  Timing attack resistant type systems
  ☆24May 13, 2015Updated 10 years ago
• rizo / rego

  View on GitHub
  Reasonable Go.
  ☆10Aug 13, 2018Updated 7 years ago
• huiyaozheng / Mirage-zmq

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 6 years ago
• plum-umd / cgc

  View on GitHub
  Constructive Galois connections
  ☆36Mar 26, 2018Updated 7 years ago
• ocaml-community / cppo

  View on GitHub
  C-style preprocessor for OCaml
  ☆109Feb 22, 2026Updated last week
• Ucombinator / jaam

  View on GitHub
  JVM Abstracting Abstract Machine
  ☆25Jan 29, 2019Updated 7 years ago
• ezaffanella / PPLite

  View on GitHub
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆30Jan 22, 2026Updated last month
• Frama-C / Frama-C-snapshot

  View on GitHub
  Release snapshots of the Frama-C platform for source code analysis
  ☆185Oct 21, 2020Updated 5 years ago
• sosy-lab / cpachecker

  View on GitHub
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆252Feb 23, 2026Updated last week
• jozefg / blott

  View on GitHub
  An experimental type checker for a modal dependent type theory.
  ☆116May 9, 2020Updated 5 years ago
• heechul / crest-z3

  View on GitHub
  CREST extension that supports non-linear arithmetic
  ☆14Jun 13, 2013Updated 12 years ago
• ocaml-community / biniou

  View on GitHub
  Extensible binary data format, like JSON but faster
  ☆43Jun 17, 2022Updated 3 years ago
• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 8 years ago