simasgrilo
Msc., from Univesidade Federal Fluminense (UFF), SAP Consultant and ABAP / SAPUI5 Developer at Accenture and a enthusiast developer
Pinned Repositories
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.
conversao-distancia
DevWeb
DNSResolvr
A simple Python-based DNS resolver
noworkflow
Supporting infrastructure to run scientific experiments without a scientific workflow management system.
ReoXplore2
RGCoq
Formalization of Regular Languages Theory formalisms such as Regular Grammars and Finite Automata in the Coq proof assistant.
TV_Soundboard
urlshortener
simasgrilo's Repositories
simasgrilo/RGCoq
Formalization of Regular Languages Theory formalisms such as Regular Grammars and Finite Automata in the Coq proof assistant.
simasgrilo/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.
simasgrilo/CACoq
Fomalization of Constraint Automata in the Coq proof assistant.
simasgrilo/conversao-distancia
simasgrilo/DevWeb
simasgrilo/DNSResolvr
A simple Python-based DNS resolver
simasgrilo/EDA-20191
Trabalho computacional para a disciplina de Estruturas de Dados e Algoritmos - PCG UFF 2019/1
simasgrilo/MosaicBuilder
Image-mosaic builder
simasgrilo/MQTTSAP
SAP IoT Python script
simasgrilo/noworkflow
Supporting infrastructure to run scientific experiments without a scientific workflow management system.
simasgrilo/NuSMVCheckers
simasgrilo/Provas-POSCOMP
Provas e gabaritos da POSCOMP, sem marcação das respostas :books:
simasgrilo/ReoXplore2
simasgrilo/TV_Soundboard
simasgrilo/urlshortener
simasgrilo/HTTPServer
Simple HTTP server
simasgrilo/JCBot
A humble discord bot
simasgrilo/reo-graphical-editor
Web-based graphical editor for Reo language
simasgrilo/SAPDev-Aug23
SAP Developers challenges in August 2023
simasgrilo/SAPDeveloper
simasgrilo/SharedSolutions
Publicly shared solutions to Coding Challenges
simasgrilo/simasgrilo.github.io
Homepage in SAPUI5
simasgrilo/TCC00.288---Bancos-de-Dados-II
Trabalho da disciplina de Bancos de Dados II ministrada pelo Professor Dr. Luiz André Leme.
simasgrilo/Trabalho-SD
Trabalho da disciplina de Sistemas Distribuídos
simasgrilo/TrabalhoPC2
simasgrilo/TrabIA2
simasgrilo/ui5-sandbox
A sandbox to tinker with SAPUI5's latest releases