A [ functional stack ] based language.
☆31Oct 30, 2023Updated 3 years ago
Alternatives and similar repositories for charm
Users that are interested in charm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- A two-dimensional parser combinator library.☆42May 26, 2017Updated 9 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆39Oct 25, 2024Updated 2 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Jun 29, 2026Updated 4 months ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A 65C02 Assembly eDSL in Haskell☆18May 31, 2018Updated 8 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- A simple concurrent programming language.☆24Nov 3, 2020Updated 5 years ago
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 10 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Oct 15, 2026Updated 2 weeks ago
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 6 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.
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- Generate fake recursion schemes☆12Aug 20, 2020Updated 6 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 5 years ago
- A home-made stack based language heavily inspired from PostScript☆11Jan 24, 2020Updated 6 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated 2 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.
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 7 years ago
- A programming language based on bindings.☆12Jul 6, 2025Updated last year
- Small library for braillizing images☆17Sep 21, 2019Updated 7 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆46Updated this week
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- Super tiny tap output library☆12Oct 13, 2023Updated 3 years ago
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- Template Haskell Implementation of Egison Pattern Matching☆33Jul 13, 2020Updated 6 years 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.
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 9 years ago
- Digital art☆10May 12, 2020Updated 6 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 12 years ago
- A WIP interpreter of original Dartmouth BASIC.☆10Jan 18, 2022Updated 4 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Feb 21, 2018Updated 8 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 7 years ago
- Collaborative Game of Life☆14Jun 27, 2025Updated last year