Popular repositories Loading

1. GraphProver GraphProver Public

   A graph based prover.

   M4 1

2. GraphProver-benchmarks GraphProver-benchmarks Public

   Benchmarks of libraries for manipulating graphs.

   Lua 1

3. embedding_prompts embedding_prompts Public

   Repositório para implementação de Embedding (a priori, usando BM25) para geração de RAG de prompts de geração de ontologias.

   Python 1

4. old-tecmf.github.io old-tecmf.github.io Public archive

   Forked from artemsheludko/flexible-jekyll

   Flexible-Jekyll is a simple and clean theme for Jekyll

   CSS 2

5. AssistOnto AssistOnto Public

   JavaScript