Pinned Repositories
hermit
A hypertableau-based Description Logic reasoner for OWL ontologies
rvcx's Repositories
rvcx/stardew-bubbles
Stardew Fishing Bubble Predictor
rvcx/aoc2022
rvcx/aoc2021
Solutions (and other code) for Advent of Code 2021 in Swift
rvcx/swiftaoc
Swift libraries to support Advent of Code
rvcx/sicon
Simple tool to simulate content negotiation for s3-hosted web sites.
rvcx/hermit
A hypertableau-based Description Logic reasoner for OWL ontologies