pwang00 / pietccLinks
Piet interpreter and retargetable compiler written in Rust using LLVM as a backend
☆17Updated last month
Alternatives and similar repositories for pietcc
Users that are interested in pietcc are comparing it to the libraries listed below
Sorting:
- (Hopefully) a compiler for my first language named "Pie"☆22Updated this week
- Interpreter for a small subset of the Haskell programming language☆16Updated 2 months 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.☆67Updated 3 months ago
- An exploration of code homeomorphism☆37Updated 7 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Updated 4 years ago
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Updated 7 years ago
- Glide programming language☆21Updated 2 years ago
- A small, statically typed, low-level programming language.☆24Updated 5 months ago
- EeZee Language - Compiler Engineering Basics☆35Updated 3 weeks ago
- The programming language design wiki.☆26Updated 4 months ago
- Compiler Backend for LSTS (Typed Macro Assembler)☆37Updated this week
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- strictly is a declarative programming language for interactive web-components☆10Updated 2 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 5 years ago
- An LLVM pass to compress code by identifying and extracting recurrent program slices.☆31Updated 3 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆107Updated 3 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- ☆26Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated last year
- The only true brainfuck-targetting assembler.☆119Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- A programmable virtual CPU written in untyped lambda calculus☆61Updated 3 years ago
- ☆38Updated 4 years ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Updated 6 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Updated 6 months ago
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆16Updated 10 months ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆19Updated 3 years ago