ltcmelo / psychec

Related projects ⓘ

Alternatives and complementary repositories for psychec

• kframework / c-semantics
  Semantics of C in K
  ☆306Updated 2 years ago
• libfirm / cparser
  C99 parser and frontend for libfirm
  ☆341Updated last year
• libfirm / libfirm
  graph based intermediate representation and backend for optimising compilers
  ☆473Updated 4 months ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆471Updated 3 years ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,307Updated 5 months ago
• zherczeg / sljit
  Platform independent low-level JIT compiler
  ☆846Updated this week
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆244Updated 4 years ago
• cil-project / cil
  C Intermediate Language
  ☆362Updated last year
• wdv4758h / awesome-jit
  A curated list of awesome JIT frameworks, libraries, software and resources
  ☆446Updated 6 months ago
• shinh / elvm
  EsoLangVM Compiler Infrastructure
  ☆1,135Updated 3 months ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆192Updated 5 months ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆749Updated last year
• eudoxia0 / cmacro
  Lisp macros for C
  ☆886Updated 9 months ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆102Updated 7 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆342Updated 6 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆219Updated last year
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,022Updated 9 months ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆612Updated 3 years ago
• dbohdan / compilers-targeting-c
  A list of compilers that can generate C code
  ☆703Updated last year
• f0rki / mapping-high-level-constructs-to-llvm-ir
  A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
  ☆600Updated 3 weeks ago
• uw-unsat / hyperkernel
  ☆181Updated 4 years ago
• oridb / mc
  Myrddin Compiler
  ☆390Updated 2 years ago
• tendra / tendra
  The TenDRA Project
  ☆238Updated 3 months ago
• michaelforney / cproc
  C11 compiler (mirror)
  ☆733Updated 6 months ago
• JuliaHubOSS / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆854Updated last month
• verifast / verifast
  Research prototype tool for modular formal verification of C and Java programs
  ☆368Updated this week
• nael8r / How-To-Write-An-LLVM-Register-Allocator
  This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
  ☆267Updated 5 years ago
• felix-lang / felix
  The Felix Programming Language
  ☆806Updated 2 months ago
• ipankajg / ceed
  A tiny x86 compiler with ELF and PE target
  ☆181Updated 10 months ago