Skip to content

@TecMF TecMF

Change the repository type filter

All

    Repositories list

    5 repositories

    • 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
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated May 27, 2025May 27, 2025

    • AssistOnto

      Public
      JavaScript
      •0•0•0•0•Updated Apr 9, 2025Apr 9, 2025

    • old-tecmf.github.io

      Public archive
      Flexible-Jekyll is a simple and clean theme for Jekyll
      CSS
      •
      GNU General Public License v3.0
      •1.8k•0•2•0•Updated Nov 9, 2023Nov 9, 2023

    • GraphProver

      Public
      A graph based prover.
      luagraphlogicautomaticproverdeduction
      M4
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Aug 16, 2017Aug 16, 2017

    • GraphProver-benchmarks

      Public
      Benchmarks of libraries for manipulating graphs.
      Lua
      •0•1•0•0•Updated Jul 28, 2017Jul 28, 2017