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 9 months ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆28Updated 8 months ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆96Updated last year
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated 2 weeks ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆140Updated 3 months 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…
  ☆54Updated last month
• tomhea / c2fj
  Compiling C to FlipJump
  ☆85Updated last week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated last year
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆398Updated this week
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆156Updated 2 weeks ago
• rochus-keller / EbnfStudio
  EbnfStudio can be used to edit and analyze EBNF grammars.
  ☆75Updated 8 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆96Updated 3 weeks ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆225Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆73Updated last year
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆135Updated 4 years ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆130Updated this week
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated last month
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated last year
• h2337 / clex
  clex is a simple lexer generator
  ☆93Updated last month
• OCamlPro / owi
  Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
  ☆140Updated this week
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆53Updated 3 weeks ago
• rochus-keller / OberonSystem3
  A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE
  ☆97Updated 11 months ago
• harp-lab / gdlog
  ☆79Updated 3 months ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated 9 months ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆193Updated 7 months ago
• SaberVM / SaberVM
  ☆199Updated 7 months ago