Alternatives and similar repositories for cil

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

• appleseedlab / superc
  The SuperC Parsing Framework
  ☆34Updated last month
• needleful / c_plus_prolog
  C plus Prolog
  ☆162Updated 3 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 5 months ago
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆224Updated this week
• tomhea / c2fj
  Compiling C to FlipJump
  ☆90Updated 5 months ago
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆166Updated last week
• irrio / semblance
  My little WebAssembly interpreter
  ☆72Updated last week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 2 months ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated last month
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated last month
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆418Updated 2 months ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 4 years ago
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆75Updated 2 months ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆143Updated this week
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• billziss-gh / imap
  Integer Map Data Structure
  ☆129Updated 2 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆202Updated last year
• quelsolaar / makemake
  ☆174Updated last year
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆62Updated last week
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆58Updated last month
• SaberVM / SaberVM
  ☆209Updated 11 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆113Updated this week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 2 weeks ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 3 months ago
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…
  ☆77Updated last month
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆135Updated this week