Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
- clojure
- clojurescript
- interactive-snippets
- javascript
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
The only reasonable scripting engine for Go.
- interpreter
- prolog
- golang
- go
VivaceGraph. Open source Common Lisp graph database & Prolog implementation.
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Learn Prolog Now LaTeX sources
Common Interface to ISO Prolog implementations from Common Lisp
A generic goal preprocessing tool for proof automation tactics in Coq