Projects in Awesome Lists tagged with extension-language
A curated list of projects in awesome lists tagged with extension-language .
https://github.com/LPCIC/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 07 Dec 2024
https://github.com/lpcic/elpi
Embeddable Lambda Prolog Interpreter
constraints extension-language lambda-prolog ocaml-library
Last synced: 01 Mar 2025
https://github.com/c3d/xl
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
compiler compiler-design compilers-design dialects domain-specific-language extensible-language extension-language functional-languages homoiconic metaprogramming programming-language programming-languages rewrites xl-language xl-parse-tree
Last synced: 07 Apr 2025
https://github.com/lpcic/coq-elpi
Coq plugin embedding elpi
coq extension-language lambda-prolog metaprogramming scripting
Last synced: 12 Apr 2025
https://github.com/jasonnyberg/j2
j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' ABI *and types*, *without glue*
c concatenative dwarf extension-language graph-algorithms graphviz interpreter programming-language reflection stack-based
Last synced: 11 May 2025
