Repository Index

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall

• nlp
• parsing
• ruby
• spacy