softdevteam / ecoLinks
Editor for language composition
☆58Updated 2 years ago
Alternatives and similar repositories for eco
Users that are interested in eco are comparing it to the libraries listed below
Sorting:
- purple: compiling a reflective language☆33Updated 8 months ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- The Omni Programming Language☆34Updated 7 years ago
- Dependently-typed language with Iverson-style implicit lifting☆124Updated 5 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- ☆71Updated 5 years ago
- Collapsing Towers of Interpreters☆91Updated 3 weeks ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- ☆34Updated 4 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 8 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- higher order dependently typed logic programing☆173Updated 6 years ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- ☆137Updated 3 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A small implementation of type inference☆78Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago