Skip to content

@frame-lab FRAME Lab.

Change the repository type filter

All

    Repositories list

    19 repositories

    • xmpp-uppal

      Public
      TeX
      •0•0•0•0•Updated Jul 3, 2025Jul 3, 2025

    • ReoXplore2

      Public
      reactjsp5jsjavascript
      Coq
      •
      MIT License
      •1•1•0•0•Updated Sep 23, 2024Sep 23, 2024

    • proof-classifier

      Public
      0•0•0•0•Updated Sep 27, 2023Sep 27, 2023

    • interoperaNit

      Public
      Protótipo para interoperabilidade de dados na nuvem
      JavaScript
      •0•1•0•0•Updated Sep 12, 2023Sep 12, 2023

    • Ecumenical-Poly

      Public
      Coq
      •0•0•0•0•Updated Mar 28, 2023Mar 28, 2023

    • CACoq

      Public
      Coq
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Jan 27, 2023Jan 27, 2023

    • ReoXplore

      Public
      Web-based graphical editor for Reo language
      JavaScript
      •3•2•0•13•Updated Jan 7, 2023Jan 7, 2023

    • diagrammatic-proof-front

      Public
      0•0•0•0•Updated Sep 1, 2022Sep 1, 2022

    • diagrammatic-proof-service

      Public
      0•0•0•0•Updated Sep 1, 2022Sep 1, 2022

    • Verificador-de-Smart-Contracts

      Public
      Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica
      Python
      •2•1•0•0•Updated Jul 21, 2022Jul 21, 2022

    • tdsRepLanguage

      Public
      A high-level language used to represent data streams for Reo connectors.
      C
      •1•0•0•0•Updated Sep 30, 2021Sep 30, 2021

    • ReoLogicCoq

      Public
      A logic to reason about Reo circuits implemented in Coq
      Coq
      •0•0•0•0•Updated Jun 2, 2021Jun 2, 2021

    • ds3_compiler

      Public
      Python
      •1•0•0•0•Updated Dec 5, 2020Dec 5, 2020

    • ReoLaTeX

      Public
      LaTeX package for drawing Reo connectors
      TeX
      •
      MIT License
      •0•0•0•0•Updated Nov 14, 2019Nov 14, 2019

    • miniC-pdl

      Public
      Compilador de um subconjunto de C para pdl para verificação com o nuxmv
      C
      •1•2•0•0•Updated Oct 8, 2019Oct 8, 2019

    • Reo2nuXmv

      Public
      C
      •2•2•0•0•Updated Sep 17, 2019Sep 17, 2019

    • blockchain-smv-model

      Public
      Python
      •1•1•0•0•Updated Jul 9, 2019Jul 9, 2019

    • CA2PDL

      Public
      C
      •0•0•0•0•Updated May 28, 2019May 28, 2019

    • CtoPDLCompiler

      Public
      2018 project in UFF- Universidade Federal Fluminense
      C
      •3•0•0•0•Updated Apr 26, 2019Apr 26, 2019