JensBouman / Piet_interpreterView external linksLinks
ATP piet interpreter
☆30Nov 23, 2021Updated 4 years ago
Alternatives and similar repositories for Piet_interpreter
Users that are interested in Piet_interpreter are comparing it to the libraries listed below
Sorting:
- A plain-text encoding for Piet programs☆16Apr 13, 2022Updated 3 years ago
- A compiler for the esoteric language Piet, targeting multiple backends.☆98Nov 25, 2019Updated 6 years ago
- Cross-platform IDE for Piet.☆49Jan 21, 2026Updated 3 weeks ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Piet graphical programming language interpreter☆60Jun 6, 2015Updated 10 years ago
- A toy symbolic execution engine, supporting the blog article ...☆18Sep 8, 2021Updated 4 years ago
- a language where the programs are works of modern art (updated for OSX)☆33Jan 31, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- Library for distance measurements☆12Mar 1, 2023Updated 2 years ago
- A repository to review the main concepts about Functional Programming with Java☆10Feb 4, 2026Updated last week
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- ☆12Dec 16, 2024Updated last year
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆13Mar 4, 2025Updated 11 months ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- Selenium RC client for Racket.☆10Jan 19, 2011Updated 15 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- ☆11Jan 31, 2026Updated 2 weeks ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 2 years ago
- ☆12Feb 12, 2025Updated last year
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- ☆15Feb 1, 2026Updated 2 weeks ago
- Unlambda interpreter☆11Jul 9, 2024Updated last year
- ℹ️ Index-related functions for lists☆12Nov 15, 2021Updated 4 years ago
- Pure-Scala implementation of HOCON, suitable for cross-platform use☆10May 29, 2017Updated 8 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆11Jul 9, 2025Updated 7 months ago
- Project Template for IHP. Used by ihp-new. License: MIT☆11Jan 22, 2026Updated 3 weeks ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Jun 27, 2012Updated 13 years ago