pwang00 / pietccLinks
Piet interpreter and retargetable compiler written in Rust using LLVM as a backend
☆16Updated last year
Alternatives and similar repositories for pietcc
Users that are interested in pietcc are comparing it to the libraries listed below
Sorting:
- An interactive tool for experimenting with LR(1) grammars☆19Updated 3 years ago
- Compiler Backend for LSTS (Typed Macro Assembler)☆31Updated last week
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Updated 7 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆19Updated last year
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Updated 11 months ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Updated 6 years ago
- Glide programming language☆20Updated 2 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 4 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 7 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆25Updated 3 weeks ago
- 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
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆58Updated 3 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 6 months ago
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆35Updated last month
- Large Scale Type Systems: ML/C Hybrid Programming Language☆126Updated last month
- MimIR is my Intermediate Representation☆72Updated last week
- ☆11Updated 2 years ago
- The Egel Programming Language☆84Updated 3 months ago
- EeZee Language - Compiler Engineering Basics☆28Updated 2 weeks ago
- ☆26Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- ☆69Updated this week
- ☆16Updated 3 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆55Updated last month