be5invis / PatEL
The Patrisika Example Language
☆44Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for PatEL
- Editor for language composition☆56Updated last year
- A function-oriented language with effect inference☆19Updated 10 years ago
- ☆11Updated 2 weeks ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- Caryll font editor☆18Updated 8 years ago
- My Own Linear Lisp☆37Updated 6 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- An evaluator with an expander.☆19Updated 8 years ago
- MLpolyR☆7Updated 8 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- ☆55Updated 7 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- ☆25Updated 7 years ago
- remix - a revised version of Racket☆33Updated last year
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A pretty printing library☆24Updated 5 years ago
- Racket support for Visual Studio Code with better inteliSense☆19Updated last year
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- scm->js☆22Updated 9 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year