- May 21, 2020
-
-
Andreas Schärtl authored
-
Andreas Schärtl authored
-
Andreas Schärtl authored
-
Andreas Schärtl authored
-
Andreas Schärtl authored
-
Andreas Schärtl authored
Should be enough to (1) talk to the Java API and (2) provide a JSON API for the world. This is really just experimental. MMT should be integrated directly w/o JSON if possible to avoid nonsensical serialization.
-
Andreas Schärtl authored
Honestly Play is way too much for what I need. I just need a simple JSON endpoint.
-
Andreas Schärtl authored
- I'll need some REST endpoint for the data - GrahDB uses RDF4J -> JVM language prefered - Let's try out Play. It works w/ Scala and Java.
-
- May 19, 2020
-
-
Andreas Schärtl authored
-
- May 12, 2020
-
-
Andreas Schärtl authored
- code goes into /src - prose in /doc - /experimental is a playground
-