An implementation of PL/0 including a tree-based interpreter and virtual machine.
☆78Dec 17, 2023Updated 2 years ago
Alternatives and similar repositories for PL0-Language-Tools
Users that are interested in PL0-Language-Tools are comparing it to the libraries listed below
Sorting:
- Second revision of my Kitteh language. Now comes with a compiler to x86.☆17Jun 15, 2023Updated 2 years ago
- This is mirror of☆37Feb 18, 2023Updated 3 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- ☆11Jul 2, 2024Updated last year
- ☆12Jan 25, 2018Updated 8 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- programming language compiler w/ llvm☆13Nov 18, 2017Updated 8 years ago
- Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.☆154Sep 23, 2021Updated 4 years ago
- Oberon 07 compiler (written in JavaScript and translates to JavaScript)☆135Nov 7, 2020Updated 5 years ago
- Lisp interpreter with fexprs and delimited control written in JavaScript☆26Aug 29, 2011Updated 14 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Coding with knots, Inca style☆11May 14, 2017Updated 8 years ago
- ☆23Oct 8, 2025Updated 5 months ago
- An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.☆12Sep 27, 2023Updated 2 years ago
- An implementation of Brainfuck on the Rubinius VM.☆19Jul 24, 2011Updated 14 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 7 years ago
- A toolset for extending closed-source Linux processes☆10Apr 12, 2016Updated 9 years ago
- The Pascal-F Verifier☆51Jul 17, 2017Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 7 years ago
- ☆13Apr 19, 2025Updated 10 months ago
- I ❤︎ FEM: A finite element method demo in Umka and tophat☆18Jul 12, 2025Updated 7 months ago
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- Xerox Network Services (XNS) implemented in Java☆16May 10, 2024Updated last year
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated last month
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- GNU APL port to Android☆16Oct 22, 2014Updated 11 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- Assembler, linker etc to go with the compiler☆21Aug 30, 2025Updated 6 months ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler☆18Nov 2, 2025Updated 4 months ago
- Linux port of itsy forth by John Metcalf☆40Oct 7, 2025Updated 5 months ago
- Source in Pascal, Modula-2 and Oberon for PL/0 and Oberon-0 from N. Wirth's books about Compiler Contruction.☆34May 18, 2023Updated 2 years ago
- LuaJC ported to the ASM framework☆15Oct 13, 2016Updated 9 years ago
- NILFS2 kernel module for kernel v2.6.18~v2.6.29 (this module is no longer maintained; do not use)☆15Mar 10, 2015Updated 11 years ago
- ☆18Aug 20, 2019Updated 6 years ago
- ☆15May 1, 2021Updated 4 years ago