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
  ☆167Updated 10 months ago
• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆76Updated last year
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 8 months ago
• rochus-keller / Luon
  A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
  ☆176Updated 7 months ago
• irrio / semblance
  My WebAssembly VM
  ☆75Updated last week
• OCamlPro / owi
  Seamless bug-finding for C, C++, Rust, Wasm and Zig
  ☆280Updated this week
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆35Updated 8 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆81Updated 2 years ago
• rochus-keller / Micron
  A compiler and IDE for the Micron programming language - the Oberon with the power of C
  ☆70Updated this week
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆28Updated last week
• 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…
  ☆97Updated 2 months ago
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆54Updated 3 months ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆207Updated 9 months ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆96Updated last year
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆77Updated 2 years ago
• galileolajara / cp1
  Cp1 / C+1 / C plus 1 Programming Language, a TypeScript for C
  ☆78Updated last week
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆35Updated last year
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆213Updated last month
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆464Updated last month
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• nokia / awkcc
  ☆82Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆31Updated 4 years ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆105Updated 2 years ago
• adorad / adorad
  Fast, Expressive, & High-Performance Programming Language for those who dare
  ☆64Updated 3 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆58Updated 2 years ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆76Updated 3 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆150Updated 5 years ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆186Updated last week