This repository was archived by the owner on Jan 19, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 188 Commits
notes		notes
ontologies		ontologies
project		project
scripts		scripts
.gitignore		.gitignore
.mailmap		.mailmap
.project		.project
.travis.yml		.travis.yml
README.md		README.md
build.sbt		build.sbt
credentials.sbt		credentials.sbt
project.sbt		project.sbt
publish.sbt		publish.sbt
pubring.gpg.enc		pubring.gpg.enc
representations.aird		representations.aird
secring.gpg.enc		secring.gpg.enc