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
  ☆32Updated 11 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 2 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• irrio / semblance
  My little WebAssembly interpreter
  ☆70Updated last month
• tomhea / c2fj
  Compiling C to FlipJump
  ☆87Updated 2 months ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆31Updated 10 months ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆158Updated 3 weeks ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated last month
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated 8 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆55Updated last month
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆140Updated 5 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆53Updated last year
• OCamlPro / owi
  Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
  ☆170Updated this week
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆169Updated last week
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆134Updated this week
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆162Updated 2 months ago
• Rucadi / cpp-match
  ☆42Updated last week
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated last year
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆59Updated last week
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 7 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆80Updated this week
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆66Updated 2 years ago
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆75Updated 2 weeks ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 3 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆196Updated 9 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated this week