be5invis / PatEL
The Patrisika Example Language
☆44Updated last month
Alternatives and similar repositories for PatEL:
Users that are interested in PatEL are comparing it to the libraries listed below
- A function-oriented language with effect inference☆19Updated 10 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆20Updated last year
- Editor for language composition☆58Updated 2 years ago
- ☆11Updated 2 months ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 5 months ago
- A microKanren framework for implementing constraints.☆19Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- MLpolyR☆7Updated 8 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- My Own Linear Lisp☆38Updated 6 years ago
- An evaluator with an expander.☆19Updated 9 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Caryll font editor☆18Updated 8 years ago
- (Nominal) Adapton in OCaml☆51Updated 8 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- scm->js☆22Updated 9 years ago
- remix - a revised version of Racket☆33Updated 2 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago