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
  ☆75Updated 9 months ago
• needleful / c_plus_prolog
  C plus Prolog
  ☆165Updated 7 months ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆35Updated 5 months ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 6 months ago
• OCamlPro / owi
  Seamless bug-finding for Wasm, C, C++, Rust and Zig
  ☆257Updated this week
• tomhea / c2fj
  Compiling C to FlipJump
  ☆94Updated 9 months ago
• irrio / semblance
  My little WebAssembly interpreter
  ☆75Updated this week
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆32Updated last year
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆81Updated 2 years ago
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆77Updated last month
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆171Updated 4 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆179Updated 6 months 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…
  ☆90Updated last month
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated 2 months ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆171Updated this week
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• dino-lang / dino
  The programming language DINO
  ☆125Updated 5 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 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…
  ☆61Updated last month
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆68Updated last week
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 3 years ago
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆454Updated this week
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• YakshaLang / Yaksha
  😈 Yaksha Programming Language - Offside rule + Lisp system for macros. 🐣 WIP
  ☆221Updated 5 months ago
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.
  ☆65Updated last year
• 8dcc / libpool
  Tiny (ANSI) C library for pool allocation
  ☆33Updated 2 months ago
• brightprogrammer / MisraStdC
  Generic and TypeSafe Programming In C
  ☆64Updated 3 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆139Updated this week
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆31Updated 4 years ago
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated 2 years ago