semantics topic

Core Data of HowNet and OpenHowNet Python API

thunlp

A community-driven ontology for the representation of environments

EnvironmentOntology

Index repo for Kimera code

MIT-SPARK

Web development platform built entirely in PostgreSQL

aquametalabs

Exercises for the Analysis of Knowledge Graphs

SmartDataAnalytics

Modal Logic Playground

rkirsling

Bonnet and then some! Deep Learning Framework for various Image Recognition Tasks. Photogrammetry and Robotics Lab, University of Bonn

PRBonn

Semantics of x86-64 in K

kframework

The essence of Rust.

aatxe

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

mgree