A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators.
-
Updated
Jun 10, 2024 - Python
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators.
The SOOO repository holds the latest version of the Skills for Organisational Objectives Ontology.
🐦 Flutter 3 心情记录 样例工程 - 国际化 i18n、uni 小程序、深色模式、多主题、本地数据管理、路由管理、状态管理、无障碍(Semantics)、异步 FFI、集成测试、图表统计、Excel 导入导出、游戏…
Data Privacy Vocabularies and Controls CG (DPVCG)
A notional machine for the SMoL languages
Protege Desktop
Graph+Semantics: Import/Export RDF from Neo4j. SHACL Validation, Model mapping and more.... If you like it, please ★ ⇧
The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
Build project for all CEDAR Java repositories
code and resources used in the Going Meta sessions
Lambda Notebook: Formal Semantics in Jupyter
[CVPR 2023] SFD2: Semantic-guided Feature Detection and Description. Embedding semantics into local features implicitly for long-term visual localization
Final project for master's degree in Semantics of programming languages course.
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Add a description, image, and links to the semantics topic page so that developers can more easily learn about it.
To associate your repository with the semantics topic, visit your repo's landing page and select "manage topics."