be5invis / PatELLinks
The Patrisika Example Language
☆50Updated 11 months ago
Alternatives and similar repositories for PatEL
Users that are interested in PatEL are comparing it to the libraries listed below
Sorting:
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- An implementation of R7RS in Racket☆101Updated last year
- Source Code for Video language.☆140Updated 5 years ago
- ☆137Updated 3 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- nanopass compiler framework for Racket☆192Updated last year
- Editor for language composition☆58Updated 2 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated last year
- ☆86Updated 4 years ago
- ☆11Updated 2 months ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- ☆79Updated 6 years ago
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- Reimplement Cirru Editor in Respo.☆34Updated 2 months ago
- General Parser Combinators in Racket☆193Updated 9 years ago
- Web site for standardml.org.☆36Updated 2 years ago
- ☆75Updated 7 months ago
- Cicada Language (solo version)☆129Updated 10 months ago
- Algebraic structures for untyped Racket☆78Updated last year
- The Online Interpreter for Standard ML, written in TypeScript.☆178Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆120Updated 7 years ago
- Crux Programming Language☆53Updated 2 months ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- ☆58Updated 8 years ago
- A modern tool for literate programming☆277Updated 8 years ago