4 results found Sort:

LPCIC
elpi LPCIC
37
293
lgpl-2.1
12
Embeddable Lambda Prolog Interpreter
constraints lambda-prolog ocaml-library extension-language
Created 2017-03-20
2,660 commits to master branch, last one 8 days ago
c3d
xl c3d
15
271
gpl-3.0
17
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
compiler dialects rewrites homoiconic xl-language xl-parse-tree compiler-design metaprogramming compilers-design extension-language extensible-language functional-languages programming-language programming-languages domain-specific-language
Created 2012-10-02
4,182 commits to master branch, last one 2 years ago
LPCIC
coq-elpi LPCIC
52
141
lgpl-2.1
9
Coq plugin embedding elpi
coq scripting lambda-prolog metaprogramming extension-language
Created 2017-03-21
3,291 commits to master branch, last one 5 days ago
wduquette
molt wduquette
13
105
bsd-3-clause
8
Embeddable TCL Interpreter for Rust applications
tcl molt rust interp interpreter extension-language
Created 2019-01-05
537 commits to master branch, last one 4 years ago