martijuanola's Stars
inLabFIB/declarative-domain-testing-poc
Declarative Domain Testing - Proof of Concept
Maumagnaguagno/Planning_LaTeX
:newspaper: Latex listing for planning formalisms
ontop/ontop
Ontop is a platform to query relational databases as Virtual RDF Knowledge Graphs using SPARQL
owlcs/owlapi
OWL API main repository
EBISPOT/zooma
ZOOMA - Optimal Ontology Mapping Application. http://www.ebi.ac.uk/spot/zooma.
stardog-union/pellet
Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.
phillord/hermit-reasoner
oeg-upm/lubm4obda
Inference and Meta Knowledge Benchmarking of OBDA Systems
morph-kgc/morph-kgc
Powerful RDF Knowledge Graph Generation with RML Mappings
cyrilou242/jnotebook
Notebook for Java.
distributed-iris-reasoner/distributed-iris-reasoner
Distributed Integrated Rule Inference System
inLabFIB/imp-logics
Diviloper/tempus_clocker
Eina per a fitxar automĂ ticament al Tempus des de la linea de comandes.
assertj/assertj
AssertJ is a library providing easy to use rich typed assertions
anuraghazra/github-readme-stats
:zap: Dynamically generated stats for your github readmes
antlr/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
antlr/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
musescore/MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!