Alternatives and similar repositories for cil

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

• needleful / c_plus_prolog
  C plus Prolog
  ☆162Updated 4 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 6 months ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 3 months ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆35Updated 2 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• irrio / semblance
  My little WebAssembly interpreter
  ☆73Updated 2 weeks ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆149Updated this week
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆75Updated this week
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆168Updated last month
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆244Updated 2 weeks ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆92Updated 6 months ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆69Updated 3 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…
  ☆83Updated this week
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated 2 years ago
• ret2pop / stem
  A minimal stack based programming language
  ☆33Updated last year
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆31Updated last year
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 3 months ago
• rochus-keller / Micron
  A compiler and IDE for the Micron programming language - the Oberon with the power of C
  ☆58Updated 3 weeks ago
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆64Updated this week
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 4 years ago
• kelas / ooj
  the origins of J
  ☆63Updated 2 years ago
• jamii / zest
  ☆114Updated 4 months ago
• zserge / lc3-forth
  Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU
  ☆94Updated 3 years ago
• kign / c4wa
  A simplified subset of C transpiled into Web Assembly
  ☆101Updated 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 2 weeks 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 5 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• henriquegogo / kamby
  Kamby Language
  ☆74Updated 3 weeks ago
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆185Updated this week
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆27Updated 2 months ago