be5invis / PatELLinks
The Patrisika Example Language
☆50Updated 10 months ago
Alternatives and similar repositories for PatEL
Users that are interested in PatEL are comparing it to the libraries listed below
Sorting:
- Editor for language composition☆58Updated 2 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- ☆138Updated 3 years ago
- nanopass compiler framework for Racket☆190Updated last year
- An implementation of R7RS in Racket☆102Updated 11 months ago
- ☆72Updated 6 months ago
- Multitier JavaScript☆154Updated 3 weeks ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated last year
- ☆79Updated 6 years ago
- scm->js☆22Updated 10 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- Reimplement Cirru Editor in Respo.☆34Updated last month
- ☆87Updated 4 years ago
- General Parser Combinators in Racket☆193Updated 9 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 7 months ago
- ☆65Updated 8 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 11 months ago
- ☆233Updated last week
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Source Code for Video language.☆140Updated 5 years ago
- A function-oriented language with effect inference☆18Updated 11 years ago
- A less devious proof assistant☆226Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- A rudimentary Racket implementation using RPython☆267Updated last month
- Cicada Language (solo version)☆129Updated 9 months ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- The Om programming language.☆174Updated 11 months ago
- Urlang is JavaScript with a sane syntax☆303Updated 8 months ago