TecMF

Popular repositories Loading

1. GraphProver GraphProverPublic

   A graph based prover.

   M4 1

2. GraphProver-benchmarks GraphProver-benchmarksPublic

   Benchmarks of libraries for manipulating graphs.

   Lua 1

3. embedding_prompts embedding_promptsPublic

   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.ioPublic archive

   Forked from artemsheludko/flexible-jekyll

   Flexible-Jekyll is a simple and clean theme for Jekyll

   CSS 2

5. AssistOnto AssistOntoPublic

   JavaScript