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
  ☆33Updated last year
• tomhea / c2fj
  Compiling C to FlipJump
  ☆88Updated 4 months ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆160Updated 2 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 4 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated this week
• irrio / semblance
  My little WebAssembly interpreter
  ☆71Updated 3 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 …
  ☆141Updated 4 years ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆138Updated 2 weeks ago
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆210Updated this week
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆56Updated 2 months ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆29Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated 10 months ago
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆228Updated 11 months ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• 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 week
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated this week
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆29Updated 3 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 5 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆164Updated 4 months ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆74Updated this week
• e-dant / salmagundi
  A small, portable, linear probing hash map
  ☆142Updated last month
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3.
  ☆60Updated last year
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆109Updated this week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 3 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago