Repositories list

• 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