psubotic

Serbia

Pinned Repositories

NBLyzer
A Static Analyzer for Data Science Notebooks
Language:Jupyter Notebook7 4 12
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++883 43 845197
souffle-lang.github.io
Soufflé
Language:HTML7 9 1958

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