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

☆399Sep 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
  ☆159Updated this week
• boogie-org / sdvbench

  View on GitHub
  Microsoft Static Driver Verifier Benchmarks
  ☆14Jul 21, 2017Updated 8 years ago
• sosy-lab / sv-benchmarks

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

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• Antique-team / memcad

  View on GitHub
  The MemCAD static analyzer
  ☆27Oct 15, 2021Updated 4 years ago
• heechul / crest-z3

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

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

  View on GitHub
  Semantics of C in K
  ☆324Feb 1, 2022Updated 4 years ago
• mschlund / FPsolve

  View on GitHub
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Aug 15, 2015Updated 10 years ago
• dvanhorn / oaam

  View on GitHub
  Optimizing Abstract Abstract Machines
  ☆31Apr 6, 2017Updated 8 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
• ocurrent / citty

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

  View on GitHub
  A simple library implementation of binary sessions
  ☆11Jun 18, 2024Updated last year
• zhangyz / llvm-slicing

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

  View on GitHub
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆252Updated this week
• kerneis / cpc

  View on GitHub
  Continuation Passing C
  ☆114Jun 5, 2019Updated 6 years ago
• ismailbennani / websocketml

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

  View on GitHub
  SeaHorn Verification Framework
  ☆474May 27, 2025Updated 9 months ago
• protz / mezzo

  View on GitHub
  The language of the future!
  ☆72Jan 7, 2024Updated 2 years ago
• Drup / llvmgraph

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

  View on GitHub
  Research prototype tool for modular formal verification of C, Rust and Java programs
  ☆481Updated this week
• CakeML / cakeml

  View on GitHub
  CakeML: A Verified Implementation of ML
  ☆1,124Updated this week
• stevenvar / OCaLustre

  View on GitHub
  OCaml syntax extension for synchronous programming...
  ☆32Aug 17, 2023Updated 2 years ago
• rizo / rego

  View on GitHub
  Reasonable Go.
  ☆10Aug 13, 2018Updated 7 years ago
• Frama-C / Frama-C-snapshot

  View on GitHub
  Release snapshots of the Frama-C platform for source code analysis
  ☆187Oct 21, 2020Updated 5 years ago
• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11May 20, 2019Updated 6 years ago
• bobatkey / sorting-types

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

  View on GitHub
  CREST is a concolic test generation tool for C.
  ☆162Jul 5, 2020Updated 5 years ago
• pcminer-tools / pcminer

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

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

  View on GitHub
  Some code examples made with Ocsigen / js_of_ocaml
  ☆20Apr 30, 2020Updated 5 years ago
• stedolan / crowbar

  View on GitHub
  Property fuzzing for OCaml
  ☆200Nov 18, 2025Updated 4 months ago
• Ucombinator / jaam

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

  View on GitHub
  Verified Software Toolchain
  ☆487Updated this week
• diffblue / cbmc

  View on GitHub
  C Bounded Model Checker
  ☆1,031Updated this week
• tomjridge / imp_fs

  View on GitHub
  ImpFS, a new filesystem.
  ☆21Feb 6, 2022Updated 4 years ago
• jhjourdan / C11parser

  View on GitHub
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆210Jun 14, 2024Updated last year
• klee / klee

  View on GitHub
  KLEE Symbolic Execution Engine
  ☆2,915Feb 21, 2026Updated last month