jeffsantos

EBAPE/FGVRio de Janeiro, Brazil

Pinned Repositories

jeffsantos/hemeraweb
Web Interface for hemera theorem prover
Language:Ruby5 3 01
jeffsantos/curso-ebape-prog-aplic-cur2021-turma2021
Language:HTML4 2 01
jeffsantos/GraphProver
A graph based theorem prover
Language:Lua3 3 03
jeffsantos/bnt
Bayes Net Toolbox for Matlab
Language:MATLAB1 0 00
jeffsantos/curso-ebape-prog-aplic-cur2018-turma2021
Language:HTML1 1 01
jeffsantos/curso-ebape-prog-aplic-cur2018-turma2022
Language:HTML1 1 00
jeffsantos/curso-puc-logica-turma2021
1 1 00
jeffsantos/FamixSQL
A Metamodel for SQL
Language:Smalltalk1 0 00
jeffsantos/gt-view-dataframe
Language:Smalltalk1 1 00
jeffsantos/hemera
Yet another simple theorem prover
Language:Python1 2 00
jeffsantos/jeffsantos.github.io
Language:HTML1 1 00
jeffsantos/learning-gtoolkit
Language:Smalltalk1 1 00
jeffsantos/pharo-learning
Language:Smalltalk1 1 0
jeffsantos/Pharo-ODBC
ODBC Connectivity for Pharo
Language:Smalltalk1 0 0
jeffsantos/roslyn2famix
Roslyn2Famix takes C# Visual Studio Solutions and produces MSE files that can be imported into Glamorous Toolkit
Language:C#1 0 0
jeffsantos/SGA
Explorations on a Smalltalk version of SGA (that stands for "Sistema de Gestão Acadêmica" from FGV/EBAPE)
Language:Smalltalk1 1 0
jeffsantos/tableaux-prover
An automatic and semi-automatic theorem prover on Tableaux
Language:Lua1 2 0
jeffsantos/test-lua-api
Language:C1 0 0
jeffsantos/test-streamlit
Language:Python1