André Wolski's repositories
sparql-dl-api
A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)
coreasm.core
CoreASM core projects
lyx-tuddesign
LyX layout files for TUD-Design (http://exp1.fkp.physik.tu-darmstadt.de/tuddesign/)
pygments-dafny
Pygments lexer for Dafny
Standard-Documents-for-Subject-Orientation
Documents in which the standard of subject-oriented modeling with PASS and its Execution are described
pygments-coreasm
Pygments lexer for CoreASM
sbt-scalatest-coreasm
generate scalatest classes for CoreASM specifications
shacl-plugin
SHACL4P Plugin - SHACL Constraint Validation plugin for Protege
fah-control
Folding@home Client Advanced Control GUI
figma-middle-key
Tampermonkey user script to fix middle mouse key on Figma
lyx-tuda-ci
LyX layout files for tuda-ci (https://ctan.org/pkg/tuda-ci)
owl-performance
Compare reasoning duration of OWL files & combinations
owlapi
OWL API main repository
owlapi-racecondition
Example project to investigate a racecondition in OWLManager.createConcurrentOWLOntologyManager
PASS-OWL
Standard PASS Ont
PASS-Standard-Book-Tex-Project
A Tex-Only Excerpt from the Standard-Document Intended For Shared Editing via the Overleaf-Platform
pygments-styles
Pygments Styles
REScala
REScala - distributed and reactive programming embedded in OO and FP programs.
scala-loci
A programming language for distributed applications
schlabber
Archives Soup.io pages
shacl
SHACL API in Java based on Apache Jena
shex-s
Scala implementation of ShEx