GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ extension-language
Top 3 extension-language open source projects
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*
✭ 37
c
C++
graphviz
interpreter
graph-algorithms
concatenative
stack-based
dwarf
extension-language
molt
Embeddable TCL Interpreter for Rust applications
✭ 86
rust
tcl
javascript
CSS
HTML
interpreter
extension-language
interp
molt
coq-elpi
Coq plugin embedding elpi
✭ 92
ocaml
Coq
prolog
Nix
coq
extension-language
lambda-prolog
1-3
of
3
extension-language projects