Beast code in Giters

Jefferson Santos's repositories

Web Interface for hemera theorem prover

Language:Ruby5 30

Language:HTML4 20

A graph based theorem prover

Language:LuaGPL-2.03 30

Bayes Net Toolbox for Matlab

Language:MATLAB100

Language:HTML1 10

Language:HTML1 10

A Metamodel for SQL

Language:SmalltalkMIT100

Language:Smalltalk1 10

Yet another simple theorem prover

Language:Python1 20

Language:HTML1 10

Language:Smalltalk1 10

Language:Smalltalk100

ODBC Connectivity for Pharo

Language:SmalltalkMIT100

Roslyn2Famix takes C# Visual Studio Solutions and produces MSE files that can be imported into Glamorous Toolkit

Language:C#Apache-2.0100

Explorations on a Smalltalk version of SGA (that stands for "Sistema de Gestão Acadêmica" from FGV/EBAPE)

Language:Smalltalk1 10

An automatic and semi-automatic theorem prover on Tableaux

Language:Lua100

Language:C100

Language:Python100