Alternatives and similar repositories for pietcc

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

• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆18Updated 3 years ago
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.
  ☆66Updated last year
• momohatt / min-caml-jvm
  A tiny OCaml compiler with JVM backend 🐫☕️
  ☆11Updated 6 years ago
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆19Updated last year
• Lambda-Mountain-Compiler-Backend / lambda-mountain
  Compiler Backend for LSTS (Typed Macro Assembler)
  ☆29Updated this week
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆56Updated last week
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• CompilerProgramming / ez-lang
  EeZee Language - Compiler Engineering Basics
  ☆28Updated last month
• dibsonthis / Glide
  Glide programming language
  ☆20Updated 2 years ago
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆26Updated 9 months ago
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆55Updated 2 years ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆2Updated last year
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated last year
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 11 months ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆52Updated 5 months ago
• proglangdesign / wiki
  The programming language design wiki.
  ☆24Updated last year
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆237Updated last week
• caius-iulius / spinnaker
  ☆26Updated last year
• pidhii / ether
  Yet another language oriented on functional programming.
  ☆9Updated 7 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated last week
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 6 months ago
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated 11 months ago
• kspalaiologos / asm2ws
  alpha-grade whitespace toolchain
  ☆11Updated last week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆31Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆65Updated 4 months ago
• UnmappedStack / UYB
  A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.
  ☆12Updated 4 months ago
• rajeevradnair / wabbit_dbeazley
  Compiler project for Dave Beazley' Wabbit Language
  ☆25Updated 3 years ago