pwang00 / pietccLinks
Piet interpreter and retargetable compiler written in Rust using LLVM as a backend
☆15Updated last year
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)☆33Updated this week
- Martin-Löf type theory + W-types implemented in C (WIP)☆25Updated 2 months ago
- Glide programming language☆21Updated 2 years ago
- An interactive tool for experimenting with LR(1) grammars☆19Updated 3 years ago
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆20Updated 7 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆20Updated last year
- Large Scale Type Systems: ML/C Hybrid Programming Language☆124Updated 2 months ago
- A toy symbolic execution engine, supporting the blog article ...☆18Updated 4 years ago
- EeZee Language - Compiler Engineering Basics☆31Updated 3 weeks ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆28Updated 4 years ago
- ☆26Updated 2 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Updated 4 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.☆66Updated last year
- a reasonably fast syntax highlighter☆13Updated 2 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 8 months ago
- moved to https://codeberg.org/core-lang/core☆52Updated 8 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆59Updated last month
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆53Updated 3 months ago
- ☆16Updated 3 years ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆18Updated 2 years ago
- A constructive proof assistant for second order logic.☆35Updated last year
- A small, statically typed, low-level programming language.☆22Updated last month
- SPSC: A Small Positive Supercompiler☆38Updated last year
- ☆38Updated 3 years ago
- An exploration of code homeomorphism☆33Updated 7 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- The Egel Programming Language☆83Updated 4 months ago