Compiler for a small stack-based imperative language, targeting the Piet language.
☆19May 21, 2026Updated 4 months ago
Alternatives and similar repositories for pietre
Users that are interested in pietre are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks☆35Mar 15, 2025Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Starter application for purescript-react-basic☆44Jan 7, 2023Updated 3 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 5 years ago
- 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.
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- Integers bounded by a closed interval☆14Sep 15, 2026Updated 2 weeks ago
- ☆37Updated this week
- const fn implementation of the SHA-2 family of hash functions☆20Apr 2, 2026Updated 6 months ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- Pluggable, open-source audio scrobbler, for crustaceans.☆12Updated this week
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆82Aug 25, 2025Updated last year
- ☆21Jul 16, 2025Updated last year
- Intocode interpreter for Advent of Code 2019☆10Oct 21, 2025Updated 11 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.
- Get intellisense for Haskell in Kakoune via ghci☆14Jun 20, 2018Updated 8 years ago
- Honors Thesis Summer/Fall 2015☆11Nov 18, 2018Updated 7 years ago
- A low level Haskell library to connect to postgres☆25Sep 15, 2022Updated 4 years ago
- Reversing tools for manipulating Golden Time: Vivid Memories game assets☆10Oct 17, 2024Updated last year
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated last year
- a sharable language☆16Jan 20, 2025Updated last year
- Connecting Haskell projects, mentors, and learners!☆17Apr 2, 2018Updated 8 years ago
- ☆17Jan 9, 2023Updated 3 years ago
- library for creating minecraft levels and commands☆13Apr 3, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple terminal-based text editor written in Janet. [WIP]☆41Apr 16, 2023Updated 3 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆12Dec 7, 2022Updated 3 years ago
- Haskell Tiny Game Jam☆169Aug 31, 2023Updated 3 years ago
- A Really Cool Calculator written in Haskell... or is it?☆46Aug 26, 2021Updated 5 years ago
- Reversible printing/parsing☆18Mar 1, 2023Updated 3 years ago
- FROSTT: the Formidable Repository of Open Sparse Tensors and Tools.☆12Jun 11, 2025Updated last year
- spaceships in space☆71Oct 25, 2020Updated 5 years ago
- ☆23Oct 15, 2023Updated 2 years ago
- Galaksija computer for FPGA☆18Jul 6, 2025Updated 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.
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- ☆15Mar 29, 2023Updated 3 years ago
- Haskell implementation of the XXHash algorithm☆16Dec 3, 2025Updated 10 months ago
- Communities of Practice reading list☆14Jun 20, 2023Updated 3 years ago
- A functional scripting language compiling to pure Lambda Calculus☆34Nov 25, 2025Updated 10 months ago
- A functional programming language which does not require the heap at run-time.☆17Jun 18, 2026Updated 3 months ago
- ☆23May 25, 2025Updated last year