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
• needleful / c_plus_prolog
  C plus Prolog
  ☆159Updated last month
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 3 months ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆88Updated 3 months ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆138Updated 6 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• irrio / semblance
  My little WebAssembly interpreter
  ☆71Updated 2 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
  ☆174Updated this 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…
  ☆54Updated this week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆163Updated 3 months ago
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆76Updated 2 weeks ago
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆59Updated last week
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆26Updated 2 months ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆135Updated last week
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆108Updated this week
• minoki / LunarML
  The Standard ML compiler that produces Lua/JavaScript
  ☆375Updated last month
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆139Updated 4 years ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆407Updated last week
• sidkshatriya / rr.soft
  Run the rr debugger in a Linux VM on aarch64 macOS or in the cloud -- Use the rr debugger without HW performance counters !
  ☆62Updated this week
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• elijah-potter / thrax-language
  A toy programming language I wrote in late 2022
  ☆23Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆41Updated 8 months ago
• nokia / awkcc
  ☆83Updated 3 years ago