Cyrille SAVELIEF's repositories
graal-stratified-negation
A tool to compute and visualize the Graph of Rules Dependencies of an ontology composed of existential rules with default negation. It can compute a stratification if the rule base is stratifiable and apply forward chaining on a given fact base. See :
jenkins_ynh
Jenkins package for YunoHost
Language:ShellApache-2.0000
Language:JavaScript000
pst-extraction
PST extraction and analytic pipeline
Language:PythonApache-2.0000
Reduced-Order-Binary-Decision-Diagrams
C++ Implementation of reduced order binary decision diagram data structure
Language:C++000
styleguide
Style guides for Google-originated open-source projects
Language:HTMLApache-2.0000