be5invis / PatEL
The Patrisika Example Language
☆44Updated 6 months ago
Related projects: ⓘ
- ☆33Updated this week
- Reimplement Cirru Editor in Respo.☆34Updated 10 months ago
- An evaluator with an expander.☆19Updated 8 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- ☆12Updated last month
- remix - a revised version of Racket☆33Updated last year
- Crux Programming Language☆51Updated 2 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- scm->js☆22Updated 9 years ago
- MLpolyR☆7Updated 8 years ago
- Editor for language composition☆56Updated last year
- My Own Linear Lisp☆36Updated 6 years ago
- Web site for standardml.org.☆36Updated 11 months ago
- The MLPolyR programming language, revived☆24Updated 3 years ago
- The Alms Programming Language☆43Updated 6 years ago
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 10 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆52Updated last month
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 6 months ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- ☆17Updated last month
- SVG Combinators for Haskell☆23Updated 7 years ago
- Compile-time metaprogramming for OCaml☆71Updated last month
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Shen on javascript.☆68Updated 6 years ago
- ☆55Updated 7 years ago