semantics
Here are 421 public repositories matching this topic...
Protege Desktop
-
Updated
May 21, 2024 - Java
The Agda mechanization of a gradual security-typed programming language with general mutable references.
-
Updated
May 20, 2024 - Agda
This repository contains material for a master thesis' project at the University of Pavia: "Automatic Implicit Object completion in Italian: an exploration with BERT"
-
Updated
May 20, 2024
Show off your semantic <body>!
-
Updated
May 19, 2024 - HTML
Abstract thinking patterns and problem decomposition / solving strategies
-
Updated
May 18, 2024
Data Privacy Vocabularies and Controls CG (DPVCG)
-
Updated
May 22, 2024 - HTML
[CVPR 2023] SFD2: Semantic-guided Feature Detection and Description. Embedding semantics into local features implicitly for long-term visual localization
-
Updated
May 16, 2024 - Python
🐦 Flutter 3 心情记录 样例工程 - 国际化 i18n、uni 小程序、深色模式、多主题、本地数据管理、路由管理、状态管理、无障碍(Semantics)、异步 FFI、集成测试、图表统计、Excel 导入导出、游戏…
-
Updated
May 16, 2024 - Dart
a metalanguage for Timed and Concurrent Operation Semantics
-
Updated
May 15, 2024 - TypeScript
Graph+Semantics: Import/Export RDF from Neo4j. SHACL Validation, Model mapping and more.... If you like it, please ★ ⇧
-
Updated
May 14, 2024 - Java
New Understandings and Approaches to Physics, to Nature Philosophy, to Life Science, to Psychosomatics, to Society, to Semantics, and to Mathematics – as Website
-
Updated
May 19, 2024 - PHP
Advanced Programming Languages UMGC Fall 2023 Semester Session 1
-
Updated
May 9, 2024 - C++
The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
-
Updated
May 8, 2024
Lambda Notebook: Formal Semantics in Jupyter
-
Updated
May 4, 2024 - Python
🗺️ Community curated and predicted equivalences and related mappings between named biological entities that are not available from primary sources.
-
Updated
May 2, 2024 - Jupyter Notebook
A semantic monitoring framework for aggregating data from heterogeneous sources.
-
Updated
Apr 30, 2024 - Java
Python library for computational formal logic, formal semantics, and theorem proving
-
Updated
Apr 26, 2024 - Python
Improve this page
Add a description, image, and links to the semantics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the semantics topic, visit your repo's landing page and select "manage topics."