4 results found Sort:

LPCIC
elpi LPCIC
32
270
lgpl-2.1
14
Embeddable Lambda Prolog Interpreter
constraints lambda-prolog ocaml-library extension-language
Created 2017-03-20
2,445 commits to master branch, last one 2 days ago
c3d
xl c3d
15
268
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
48
131
lgpl-2.1
9
Coq plugin embedding elpi
coq scripting lambda-prolog metaprogramming extension-language
Created 2017-03-21
3,056 commits to master branch, last one 23 hours ago
wduquette
molt wduquette
12
103
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