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 10 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated last month
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆402Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆140Updated 4 months ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆31Updated 9 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 …
  ☆138Updated 4 years ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆87Updated last month
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆57Updated this week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆51Updated last year
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆97Updated last year
• racket / zuo
  A tiny Racket for scripting
  ☆283Updated last week
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆161Updated last month
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆215Updated 4 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆75Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆76Updated this week
• nokia / awkcc
  ☆83Updated 2 years ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆225Updated last year
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆77Updated 3 weeks ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated 7 months ago
• henriquegogo / kamby
  Kamby Language
  ☆76Updated last week
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆303Updated 2 weeks ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated last year