A [ functional stack ] based language.
☆30Oct 30, 2023Updated 2 years ago
Alternatives and similar repositories for charm
Users that are interested in charm are comparing it to the libraries listed below
Sorting:
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 2 months ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated last year
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- A two-dimensional parser combinator library.☆42May 26, 2017Updated 8 years ago
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 5 years ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 11 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.