simasgrilo

RGCoq

Formalization of Regular Languages Theory formalisms such as Regular Grammars and Finite Automata in the Coq proof assistant.

BPLC

pi-lib (formely BPLC) is a library of basic programming languages constructs whose semantics are formally specified as pi-automata. Therefore, to give semantics to a programming language means to relate constructions of the given language with the constructs of pi-lib. It is implemented in the Maude language.

CACoq

Fomalization of Constraint Automata in the Coq proof assistant.

coding-challenges

Coding Challenges from John Cricket's codingchallenges.fyi

DevWeb

EDA-20191

Trabalho computacional para a disciplina de Estruturas de Dados e Algoritmos - PCG UFF 2019/1

MosaicBuilder

Image-mosaic builder

MQTTSAP

SAP IoT Python script

noworkflow

Supporting infrastructure to run scientific experiments without a scientific workflow management system.

NuSMVCheckers

Provas-POSCOMP

Provas e gabaritos da POSCOMP, sem marcação das respostas :books:

ReoXplore2

TV_Soundboard

urlshortener

reo-graphical-editor

Web-based graphical editor for Reo language

SAPDev-Aug23

SAP Developers challenges in August 2023

SAPDeveloper

SharedSolutions

Publicly shared solutions to Coding Challenges

TCC00.288---Bancos-de-Dados-II

Trabalho da disciplina de Bancos de Dados II ministrada pelo Professor Dr. Luiz André Leme.

Trabalho-SD

Trabalho da disciplina de Sistemas Distribuídos

TrabalhoPC2

TrabIA2

ui5-sandbox

A sandbox to tinker with SAPUI5's latest releases