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
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆52Updated this week
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆138Updated last month
• AnilBK / ANIL
  ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…
  ☆49Updated this week
• SaberVM / SaberVM
  ☆197Updated 4 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆191Updated 11 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 9 months ago
• oberon-lang / specification
  The Oberon+ Programming Language Specification
  ☆95Updated last year
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆274Updated this week
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆29Updated 6 months ago
• nokia / awkcc
  ☆82Updated 2 years ago
• EigenCompilerSuite / sources
  This is an inofficial mirror of the Eigen Compiler Suite source code usually deployed as tar.gz
  ☆21Updated 6 months ago
• jafarlihi / clex
  clex is a simple lexer generator
  ☆93Updated last year
• Keith-Cancel / Bunki
  A simple C coroutine library.
  ☆226Updated 9 months ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago
• shogundevel / shark
  The shark programming language
  ☆117Updated 10 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆393Updated last week
• wingo / whippet
  A work-in-progress garbage collector for Guile
  ☆145Updated last month
• Neat-Lang / neat
  The Neat Language compiler. Early beta?
  ☆110Updated 5 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• Wodan58 / Joy
  Manfred von Thun's Programming Language Joy
  ☆83Updated 2 weeks ago
• racket / zuo
  A tiny Racket for scripting
  ☆271Updated 2 months ago
• rochus-keller / OberonSystem3
  A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE
  ☆90Updated 9 months ago
• ret2pop / stem
  A minimal stack based programming language
  ☆32Updated 6 months ago
• minoki / LunarML
  The Standard ML compiler that produces Lua/JavaScript
  ☆356Updated last week
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆129Updated last year
• rvs / planD
  Plan9 from Containerspace
  ☆81Updated 9 months ago
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆483Updated this week