Alternatives and similar repositories for cil

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

• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 4 months ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆33Updated 2 weeks ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆161Updated 2 months ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆90Updated 4 months ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated last month
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆225Updated this week
• irrio / semblance
  My little WebAssembly interpreter
  ☆71Updated this week
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated 2 years 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
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆61Updated this week
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆59Updated 3 months ago
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆165Updated 4 months ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆29Updated last year
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆415Updated last month
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated last week
• nokia / awkcc
  ☆83Updated 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 3 weeks ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated 10 months ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆227Updated last year
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆76Updated last month
• SaberVM / SaberVM
  ☆206Updated 11 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated last month
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆202Updated 11 months ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆100Updated last year
• rochus-keller / Micron
  A compiler for the Micron programming language - the Oberon with the power of C
  ☆54Updated this week
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆30Updated 3 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆227Updated 4 years ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆143Updated 2 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago