The only reasonable scripting engine for Go.
- interpreter
- prolog
- golang
- go
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
47,133 repositories indexed
1–2 of 2 · Most stars
The only reasonable scripting engine for Go.
Rocq plugin embedding Elpi