goblint / cil

Related projects ⓘ

Alternatives and complementary repositories for cil

• grego / sumtype.h
  A mirror of https://git.sr.ht/~grego/sumtypes.h
  ☆75Updated 5 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…
  ☆18Updated this week
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 3 weeks ago
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆25Updated 6 months ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆21Updated 5 months ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆95Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• shogundevel / shark
  The shark programming language
  ☆118Updated 10 months ago
• zserge / lc3-forth
  Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU
  ☆86Updated 2 years ago
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆226Updated 9 months ago
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆50Updated last week
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆273Updated this week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 9 months ago
• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated 6 months ago
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated last year
• henriquegogo / kamby
  Kamby Language
  ☆75Updated last week
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• jafarlihi / clex
  clex is a simple lexer generator
  ☆93Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• quelsolaar / makemake
  ☆170Updated 10 months ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆49Updated 3 weeks ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated last month
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆133Updated this week
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆64Updated last year
• SaberVM / SaberVM
  ☆197Updated 4 months ago
• eliben / wasm-wat-samples
  Samples of WebAssembly Text programs
  ☆133Updated 3 weeks ago
• kstenerud / dogma
  Dogma: A modernized metalanguage with better expressiveness and binary grammar support
  ☆63Updated last year