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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A compiler for the esoteric language Piet, targeting multiple backends.☆98Nov 25, 2019Updated 6 years ago
- A plain-text encoding for Piet programs☆16Apr 13, 2022Updated 3 years ago
- Piet language in Ruby☆13Nov 12, 2024Updated last year
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago
- a language where the programs are works of modern art (updated for OSX)☆34Jan 31, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 3 months ago
- A toy symbolic execution engine, supporting the blog article ...☆18Sep 8, 2021Updated 4 years ago
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 3 years ago
- 📓 Notes for everything☆18Mar 22, 2026Updated last week
- GUI for developing and debugging programs written in the Piet language☆71Mar 21, 2017Updated 9 years ago
- IBM Quantum API Schemas☆21Updated this week
- crowdsourced summaries of research papers☆20Jan 20, 2026Updated 2 months ago
- Python transpiler for the esoteric language Rockstar☆96Aug 27, 2023Updated 2 years ago
- ☆15May 11, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Github bot to automate various aspects of Qiskit development☆22Jul 30, 2024Updated last year
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated 2 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Java JNI binding for mujoco physics system☆14Mar 18, 2025Updated last year
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Aug 16, 2023Updated 2 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 7 months ago
- ☆10Nov 1, 2017Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆23Sep 21, 2025Updated 6 months ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The Ātticcūṭi (Tamil: ஆத்திச்சூடி) is a collection of single-line quotations written by Avvaiyar and organized in alphabetical order. The…☆23Sep 26, 2015Updated 10 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 10 months ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated 8 months ago