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:
- Compiler Backend for LSTS (Typed Macro Assembler)☆36Updated last week
- A work-in-progess programming language modeled after Ada and C++☆25Updated 3 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Updated 3 years 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.☆68Updated 2 months ago
- EeZee Language - Compiler Engineering Basics☆35Updated 4 months ago
- moved to https://codeberg.org/core-lang/core☆51Updated 11 months ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Updated last year
- (Hopefully) a compiler for my first language named "Pie"☆20Updated this week
- 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 4 months ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 5 years ago
- This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).☆12Updated 5 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated last year
- ☆26Updated 2 years ago
- Unlambda interpreter☆11Updated last year
- Scribe Reference Compiler☆22Updated 5 months ago
- The only true brainfuck-targetting assembler.☆119Updated 3 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Updated 2 years ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆27Updated 5 months ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆13Updated 10 months ago
- Semantic analysis framework☆15Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated last year
- The Egel Programming Language☆83Updated 3 weeks ago
- An LR(1) parser generator, implemented as a proc macro☆16Updated 2 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆63Updated 6 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago