The Common Core Ontology Repository holds the current released version o...
PENMAN notation (e.g. AMR) in Python
Semantics of x86-64 in K
A core language for rule-based hardware design 🦑
A community-driven ontology for the representation of environments
The essence of Rust.
Abstract Meaning Representation (AMR) tutorial slides
The Symbolic, Mechanized, Observable, Operational SHell: an executable f...
Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
Egeria's Guidance on Governance as well as large media files such as pre...
Distributional Generalization in NLP. A roadmap.
Semantic HTML5 converter (backend) for Asciidoctor
A formally verified high-level synthesis tool based on CompCert and writ...
Python libraries for DELPH-IN
Essential NLP & ML, short & fast pure Python code