Pinned Repositories
canvas_tower_defense
Canvas Tower Defense Game
coreasm.core
CoreASM core projects
docker-iobroker
lyx-tuddesign
LyX layout files for TUD-Design (http://exp1.fkp.physik.tu-darmstadt.de/tuddesign/)
Piratenpad-Backup
Backup Team-Pads
pygments-coreasm
Pygments lexer for CoreASM
pygments-dafny
Pygments lexer for Dafny
sbt-scalatest-coreasm
generate scalatest classes for CoreASM specifications
shacl-plugin
SHACL4P Plugin - SHACL Constraint Validation plugin for Protege
sparql-dl-api
A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)
Locke's Repositories
Locke/pygments-dafny
Pygments lexer for Dafny
Locke/sparql-dl-api
A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)
Locke/coreasm.core
CoreASM core projects
Locke/lyx-tuddesign
LyX layout files for TUD-Design (http://exp1.fkp.physik.tu-darmstadt.de/tuddesign/)
Locke/Standard-Documents-for-Subject-Orientation
Documents in which the standard of subject-oriented modeling with PASS and its Execution are described
Locke/pygments-coreasm
Pygments lexer for CoreASM
Locke/sbt-scalatest-coreasm
generate scalatest classes for CoreASM specifications
Locke/shacl-plugin
SHACL4P Plugin - SHACL Constraint Validation plugin for Protege
Locke/Battery-Health-Charging
Locke/fah-control
Folding@home Client Advanced Control GUI
Locke/figma-middle-key
Tampermonkey user script to fix middle mouse key on Figma
Locke/javafx11
Solution to question posed by on StackOverflow: https://stackoverflow.com/q/56774366/2593574
Locke/jsonld-java
JSON-LD implementation for Java
Locke/lyx-tuda-ci
LyX layout files for tuda-ci (https://ctan.org/pkg/tuda-ci)
Locke/openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
Locke/openllet-issue-42
Locke/owl-performance
Compare reasoning duration of OWL files & combinations
Locke/owlapi-racecondition
Example project to investigate a racecondition in OWLManager.createConcurrentOWLOntologyManager
Locke/PASS-OWL
Standard PASS Ont
Locke/PASS-Standard-Book-Tex-Project
A Tex-Only Excerpt from the Standard-Document Intended For Shared Editing via the Overleaf-Platform
Locke/pruned_node
Locke/pygments-styles
Pygments Styles
Locke/REScala
REScala - distributed and reactive programming embedded in OO and FP programs.
Locke/sbt-assembly-excludedJars
Locke/sbt-cross-filter
Locke/scala-loci
A programming language for distributed applications
Locke/schlabber
Archives Soup.io pages
Locke/shex-s
Scala implementation of ShEx
Locke/tudaci-minted-highlightlines
Locke/website
The source for scala-sbt.org