Alternatives and similar repositories for yacfe

Users that are interested in yacfe are comparing it to the libraries listed below

• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• Drup / llvmgraph
  Ocamlgraph overlay for llvm
  ☆21Updated 10 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆20Updated 6 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• cverified / cbench
  A benchmark for C program verification
  ☆16Updated last year
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 8 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated this week
• Antique-team / memcad
  The MemCAD static analyzer
  ☆27Updated 3 years ago
• termite-analyser / llvm2smt
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Updated 7 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆20Updated 12 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated 3 weeks ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 4 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆40Updated 2 weeks ago
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• codinuum / cca
  Code Continuity Analysis Framework
  ☆21Updated 4 months ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 5 months ago