psubotic

Serbia

Pinned Repositories

lachesis-base
Lachesis aBFT consensus algorithm library
Language:Go21 8 145
Sonic
go-opera fork for Carmen and Tosca integration
Language:Go21 15 2422
Abstract-Interpretation
Abstract Interpretation for floating point arithmetic
7 2 00
Dependent-Types
Prototype of language with dependent types
2 1 00
NBLyzer
A Static Analyzer for Data Science Notebooks
Language:Jupyter Notebook0 0 01
psubotic
Personal Web Page
Language:CSS0 1 00
psubotic.github.io
Pavle (Paul) Subotic
Language:HTML01
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++0 0 00
SouffleInterface
C++, Java/Scala interface for Souffle
Language:C++2 2 02
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++930 42 856208

psubotic's Repositories

psubotic/Abstract-Interpretation
Abstract Interpretation for floating point arithmetic
7 2 00
psubotic/Dependent-Types
Prototype of language with dependent types
2 1 00
psubotic/SouffleInterface
C++, Java/Scala interface for Souffle
Language:C++2 2 02
psubotic/NBLyzer
A Static Analyzer for Data Science Notebooks
Language:Jupyter Notebook0 0 01
psubotic/psubotic
Personal Web Page
Language:CSS0 1 00
psubotic/psubotic.github.io
Pavle (Paul) Subotic
Language:HTML01
psubotic/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++0 0 00