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 plain-text encoding for Piet programs☆16Apr 13, 2022Updated 4 years ago
- a language where the programs are works of modern art (updated for OSX)☆33Jan 31, 2022Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated 3 weeks ago
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 3 years ago
- GUI for developing and debugging programs written in the Piet language☆71Mar 21, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tunable sorting for responsive robustness and beyond☆18Feb 8, 2026Updated 3 months ago
- Experiments on content generation & machine "intelligence"☆15Dec 28, 2016Updated 9 years ago
- IBM Quantum API Schemas☆21Apr 27, 2026Updated last month
- Python transpiler for the esoteric language Rockstar☆95Aug 27, 2023Updated 2 years ago
- ☆16May 11, 2023Updated 3 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 6 months ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- A minimal markdown editor with live preview.☆27Dec 9, 2022Updated 3 years ago
- Github bot to automate various aspects of Qiskit development☆22Jul 30, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Repository for (for now) filing bug reports about PLAI.☆15Jul 5, 2025Updated 10 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
- A Game Boy emulator written by Robert☆35Jan 24, 2023Updated 3 years ago
- an arcane Lisp dialect written in Go for fun and prosperity☆13Jan 7, 2026Updated 4 months ago
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆12Aug 16, 2023Updated 2 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 9 months ago
- ☆11Nov 1, 2017Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 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 RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 11 months ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆11Jul 13, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- FFmpeg DSL for creative coding☆63Mar 27, 2026Updated 2 months ago
- ☆12Dec 16, 2024Updated last year
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- ☆13May 18, 2026Updated last week
- lazy-seq generator in clojure☆20Nov 1, 2020Updated 5 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago