Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with semantics

A curated list of projects in awesome lists tagged with semantics .

https://github.com/go101/go101

An up-to-date (unofficial) knowledge base for Go programming self learning

book details faq go golang optimizations semantics syntax tips

Last synced: 13 May 2025

https://github.com/unsplash/datasets

🎁 6,500,000+ Unsplash images made available for research and machine learning

data dataset images keywords machine-learning photos research search-engine semantics unsplash

Last synced: 15 May 2025

https://github.com/aquametalabs/aquameta

Web development platform built entirely in PostgreSQL

events plpgsql postgresql rest-api semantics system-catalog version-control-system widgets

Last synced: 14 May 2025

https://github.com/neo4j-labs/neosemantics

Graph+Semantics: Import/Export RDF from Neo4j. SHACL Validation, Model mapping and more.... If you like it, please ★ ⇧

knowledge-graph linked-data neo4j ontologies rdf semantics shacl

Last synced: 14 May 2025

https://github.com/thunlp/openhownet

Core Data of HowNet and OpenHowNet Python API

hownet knowledge-base nlp openhownet semantics sememe

Last synced: 16 May 2025

https://github.com/pysemtec/semantic-python-overview

(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)

collection community-driven datalog knowledge-graph ontology owl python rdf semantic-web semantics sparql swrl

Last synced: 16 Nov 2025

https://github.com/amoshuke/mood-example

🐦 Flutter 3 心情记录 样例工程 - 国际化 i18n、uni 小程序、深色模式、多主题、本地数据管理、路由管理、状态管理、无障碍（Semantics）、异步 FFI、集成测试、图表统计、Excel 导入导出、游戏…

dart demo flutter flutter-app flutter-demo flutter-examples mini-program mood semantics uniapp

Last synced: 08 Apr 2025

https://github.com/jbarrasa/goingmeta

code and resources used in the Going Meta sessions

graph-data-science integration knowledge-graph ontologies semantics

Last synced: 15 May 2025

https://github.com/msg-systems/holmes-extractor

Information extraction from English and German texts based on predicate logic

information-extraction machine-learning nlp ontology python semantics spacy spacy-extension

Last synced: 07 Apr 2025

https://github.com/rkirsling/modallogic

Modal Logic Playground

directed-graph modal-logic semantics

Last synced: 25 Oct 2025

https://github.com/commoncoreontology/commoncoreontologies

The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.

applied-ontology bfo cco data-integration interoperability ontologies ontology-suite owl-ontology semantic-consistency semantics

Last synced: 04 Apr 2026

https://github.com/CommonCoreOntology/CommonCoreOntologies

The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.

applied-ontology bfo cco data-integration interoperability ontologies ontology-suite owl-ontology semantic-consistency semantics

Last synced: 16 Nov 2025

https://github.com/prbonn/bonnetal

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

classification cnn computervision detection features imageprocessing ros semantics

Last synced: 07 Sep 2025

https://github.com/mit-plv/koika

A core language for rule-based hardware design 🦑

compilation coq formal-methods hardware-description-language programming-languages semantics

Last synced: 17 Jun 2025

https://github.com/goodmami/penman

PENMAN notation (e.g. AMR) in Python

amr graph meaning penman python semantics

Last synced: 11 Jun 2025

https://github.com/aatxe/oxide

The essence of Rust.

formal-semantics rust semantics

Last synced: 25 Feb 2025

https://github.com/mgree/smoosh

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

formalization posix posix-sh posix-shell semantics sh shell shell-scripting symbolic-execution

Last synced: 22 Aug 2025

https://github.com/nschneid/amr-tutorial

Abstract Meaning Representation (AMR) tutorial slides

abstract-meaning-representation computational-linguistics nlp reference semantics tutorial

Last synced: 26 Jan 2026

https://github.com/odpi/data-governance

Egeria's Guidance on Governance as well as large media files such as presentations and movies

data-governance egeria governance guidance odpi-egeria semantics

Last synced: 21 Apr 2025

https://github.com/delph-in/pydelphin

Python libraries for DELPH-IN

delph-in hpsg mrs nlp profile python semantics

Last synced: 12 Jan 2026

https://github.com/sdasgup3/binary-decompilation

Extracting high level semantic information from binary code

binary-analysis kframework llvm-bitcode program-analysis semantics symbolic-execution x86 x86-64

Last synced: 06 Oct 2025

https://github.com/biopragmatics/biomappings

🗺️ Community curated and predicted equivalences and related mappings between named biological entities that are not available from primary sources.

biocuration biopragmatics bioregistry mappings ontology semantics

Last synced: 12 Apr 2026

https://github.com/w3c/dpv

Data Privacy Vocabularies and Controls CG (DPVCG)

data-protection gdpr privacy semantics vocabulary

Last synced: 07 Apr 2025

https://github.com/yuvalpinter/m3gm

Max-Margin Markov Graph Models for WordNet (EMNLP 2018)

markov-model nlp relation-extraction semantics wordnet

Last synced: 24 Aug 2025

https://github.com/linkml/owlstar

Ontological Interpretations for Web Property Graphs

fol knowledge-graph logic owl probabilistic-models rdf rdfstar semantics semweb

Last synced: 04 Feb 2026

https://github.com/digitalformallogic/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics symbolic-logic

Last synced: 14 Jan 2026

https://github.com/sansa-stack/sansa-notebooks

Interactive Spark Notebooks for running SANSA examples.

hdfs hue machine-learning notebook owl rdf sansa semantics spark zeppelin

Last synced: 14 Apr 2025

https://github.com/thunlp/babelnet-sememe-prediction

Code and data of the AAAI-20 paper "Towards Building a Multilingual Sememe Knowledge Base: Predicting Sememes for BabelNet Synsets"

babelnet nlp semantics sememe

Last synced: 20 Jun 2025

https://github.com/dataoneorg/sem-prov-ontologies

Ontologies focused on scientific observations and scientific workflow provenance.

metadata ontology provenance semantics

Last synced: 06 Jan 2026

https://github.com/sapienzanlp/unify-srl

Unifying Cross-Lingual Semantic Role Labeling with Heterogeneous Linguistic Resources (NAACL-2021).

cross-lingual deep-learning nlp semantic-role-labeling semantics

Last synced: 12 Jun 2025

https://github.com/linkml/linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

constraints datalog linkml logic-programming rdf reasoning rule-language rules semantic-web semantics souffle-datalog-language validation

Last synced: 12 Mar 2026

https://github.com/jonathanlinat/accessible-name-automation-proof-of-concept

This is an experiment based on Accessibility Object Model (AOM). It tries to demonstrate that it is theoretically possible (in a certain way) to predict what the screen reader will say by focusing on semantic and non semantic elements with a bit of automated testing, thus reducing the need for manual testing.

a11y accessibility aom html javascript semantics testing webaccessibility webdevelopment

Last synced: 11 Apr 2025

https://github.com/sstucki/f-omega-int-agda

F-omega with interval kinds mechanized in Agda

agda agda-mechanization interval-kinds proofs semantics subtypes

Last synced: 11 Jan 2026

https://github.com/covesa/s2dm

A Simplified Semantic Data Modeling (S2DM) approach that offers a pragmatic balance between semantic rigor and usability for subject matter experts.

data-modeling graphql-sdl rdf semantics skos

Last synced: 26 Feb 2026

https://github.com/sapienzanlp/multi-srl

Code and models for the COLING2020 paper "Bridging the Gap in Multilingual Semantic Role Labeling: a Language-Agnostic Approach".

deep-learning natural-language-processing natural-language-understanding neural-network nlp nlu pytorch pytorch-lightning semantic-role-labeling semantics

Last synced: 12 Jun 2025

https://github.com/smartdataanalytics/ma-inf-4223-dbda-lab

Repository for Lab “Distributed Big Data Analytics” (MA-INF 4223), University of Bonn

apachespark bigdata bonn machine-learning rdf sansa semantics teaching university

Last synced: 26 Jun 2025

https://github.com/senzing-garage/sz-semantics

Transform JSON output from Senzing SDK for use with graph technologies, semantics, and downstream LLM integration

context-engineering data-privacy entity-resolution entity-resolved-knowlege-graph ontology rdf semantic-layer semantics senzing-test-linux-darwin-windows senzing-test-weekly skos

Last synced: 28 Feb 2026

https://github.com/linkml/valuesets

Common value sets (enums) for science, biomedicine, computing, and other areas

ai4curation fair-data linkml monarchinitiative semantics standards value-sets

Last synced: 05 Jan 2026

https://github.com/malcolmmielle/maoris

Cutting most types of maps in smaller more meaningful bits.

map robot robotics segmentation semantics semanticsegmentation sketch-maps

Last synced: 12 Oct 2025

https://github.com/disruptek/dust

DUST is Unattended Syntax Truncation

ast bugs dust minimal nim reduce reproduce semantics syntax

Last synced: 09 Apr 2025

https://github.com/melchisedech333/antlr4-experiments

:wrench: My studies on context-free grammar, using ANTLR4 (C++) to generate the parser files. Some basics are developed, such as token processing, recursion, variable definition, array processing, Abstract Syntax Tree (AST) manipulation, UNICODE support, and error handling.

antlr-language-development antlr4 antlr4-grammar grammar-checker grammar-parser grammar-parser-generator grammar-rules grammars grammars-utility language-development language-processing semantic-analysis semantics syntax syntax-analysis syntax-analyzer syntax-tree tokenization tokenizer tokenizer-parser

Last synced: 11 Apr 2025

https://github.com/lapets/pydrogen

Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations.

abstract-interpretation abstract-syntax decorators overloading python-library semantics static-analysis

Last synced: 27 Jul 2025

https://github.com/letmaik/xndarray

▦ Multidimensional arrays with semantics in JavaScript

coordinates javascript multidimensional-arrays ndarray semantics

Last synced: 19 Apr 2025

https://github.com/ukplab/acl2021-metaphor-generation-conceptual

This repository is for the paper Metaphor Generation with Conceptual Mappings (ACL 2021).

bart metaphor nlg nlp semantics

Last synced: 18 Jun 2025

https://github.com/zpnst/refunpy

Executable specification of FunC / Tiny FunC interpreter on ReFalPy

interpreter refal semantics

Last synced: 02 Sep 2025

https://github.com/iricartb/university-c-compiler-flex-bison

Ivan Ricart Borges - C compiler using Flex & Bison, Bison is a generator of syntactic analyzers, a substitute for yacc ("Yet Another Compiler Compiler", another compiler of compilers).

bison c compiler flex lexical semantics yacc

Last synced: 10 Apr 2025

https://github.com/opensemanticsearch/lexemes

Import lexemes (dictionary including different grammar forms/lexical forms for each lexical entry) from Wikidata to Apache Solr synonyms config

apache-solr grammar grammar-rules grammars lemmatization lemmatizer linkeddata opendata semantic semantics solr solr-dataimporter synonyms wikidata

Last synced: 26 Oct 2025

https://github.com/qdata/reevaluating-nlp-adversarial-examples

EMNLP Findings 2020: Reevaluating Adversarial Examples in Natural Language

natural-language semantics suspicion textattack

Last synced: 09 Oct 2025

https://github.com/frankaging/lat-for-transformer

Structured Self-Attention Weights Encode Semantics in Sentiment Analysis

attention-flows attention-weights semantics sentiment-analysis

Last synced: 19 Aug 2025

https://github.com/italia/dati-semantic-mcp

MCP server per interagire con schema.gov.it

ai mcp-server ontologies semantics

Last synced: 08 Apr 2026

https://github.com/jozefg/fibrational-semantics

Notes on simple fibrational semantics.

boring-math fibrations semantics

Last synced: 28 Jul 2025

https://github.com/acorrenson/bf

A Coq Formalization of the Brainfuck programming language

coq hacktoberfest programming-language semantics

Last synced: 09 Jul 2025

https://github.com/ozekik/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

first-order-logic formal-logic logic mathematical-logic philosophical-logic philosophy proof propositional-logic prover semantics

Last synced: 25 Apr 2025

https://github.com/mmisw/cfsn

CF Standard Names Vocabulary Browser

climate controlled-vocabularies earth-science forecast semantic-web semantics

Last synced: 10 Jan 2026

https://github.com/dhchenx/icd11-cac

The project hosts the data, methods and tools about Computer-Assisted Coding of ICD-11 in medical coding scenes.

coding-tool computer-assisted-coding icd-11 icd-11-mapping medical-coding semantics wordnet

Last synced: 24 Jul 2025

https://github.com/thunlp/dictskb

Code and data of the paper "Automatic Construction of Sememe Knowledge Bases via Dictionaries"

dictionaries nlp semantics sememe-knowledge-bases

Last synced: 30 Jul 2025

https://github.com/esipfed/stc

Repository for the Semantic Technologies Committee

esip semantic-web semantics

Last synced: 13 Aug 2025

https://github.com/letuananh/lelesk

A fast Python 3 Word-Sense Disambiguation package (WSD) using the extended LESK algorithm

lesk meaning nlp semantics word wsd

Last synced: 20 Jun 2025

https://github.com/eellak/diadikasies-wiki-to-bpmn

Transform processes/services from diadfikasies.gr (CPSV based or not) to BPMN

bpmn egov public semantics services

Last synced: 04 Apr 2026

https://github.com/tebogoyungmercykay/recspl-compiler-construction-in-python

This repository contains the core components of our Recursive Student Programming Language Compiler Construction and Design project. The project aims to implement a complete compiler, including lexical analysis, parsing, semantic analysis, and code generation.

intermediate-code-generation lexer parser pytest semantics syntax-tree testing tokens type-checker

Last synced: 09 Jul 2025

https://github.com/letuananh/visualkopasu

Web-based software suite for Computational Linguistic Analysis based on construction grammars and ontologies (HPSG, SBCG, xMRS, Wordnet, texttaglib)

deep-parser dmrs hpsg mrs natural-language-processing natural-language-understanding nlp ontology sbcg semantics wordnet

Last synced: 03 Mar 2026

https://github.com/niklaskorz/nklang

A programming language interpreter written in Go

formal-languages golang interpreter lexer parser semantics

Last synced: 01 May 2025

https://github.com/kaist-cp/view-hw

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

armv8 coq-formalization persistency pldi proof semantics theorem x86

Last synced: 14 Oct 2025

https://github.com/kellertuer/mathsemantics.sty

Semantic math commands in LateX

latex mathematics semantics

Last synced: 04 Feb 2026

https://github.com/drseb/phenopposites

Project to generate phenotype opposite_of relationships and investigate the effect on ontology-based algorithms

ontologies ontology phenomics phenotype phenotype-ontologies phenotypes phenotyping semantic-web semantics similarity-measures

Last synced: 21 Jan 2026

https://github.com/superbrucejia/medical-concept-mapping

An implementation of Medical-term Concept Mapping via three-levels: Syntax-Semantics-Pragmatics.

concept-mapping pragmatics pragmatics-levels semantics synonym-medical-terms

Last synced: 25 Feb 2026

https://github.com/esipfed/sereen

initial repo for Semantic Resource for Earth and Environment (SeREEn)

earth-science environment esip fair-data ontology owl planetary-science rdf semantic-web semantics thesaurus vocabulary

Last synced: 11 Feb 2026

https://github.com/phreppo/hile

Interpreter for the While language

interpreter semantics while

Last synced: 04 Oct 2025

https://github.com/yasenstar/ontology-pizza-cn

pizza.owl的本体模型教程的中文版本与建模实践的源码仓库

modeling ontology owl pizza pizza-owl protege semantics tutorial

Last synced: 10 Feb 2026

https://github.com/lapin0t/ogs

operational game semantics, formalized in Coq

coq semantics

Last synced: 24 Feb 2026

https://github.com/efiand/well

Карточный пасьянс «Колодец».

a11y bem design eslint favicons opengraph portfolio-project semantics sprite stylelint svg vanilla-js vite

Last synced: 28 Jun 2025

https://github.com/bloomberg/semantic-similarity-covariance-shrinkage

Code release for Semantic Similarity Covariance Matrix Shrinkage

covariance embeddings optimization portfolio semantics

Last synced: 22 Feb 2025

https://github.com/memgonzales/semantle-word-embeddings

Recreation of Semantle (a word guessing game that gives the semantic similarity to the secret word) using three pretrained word embeddings: (1) word2vec, (2) GloVe, and (3) fastText

dense-vector fasttext gensim glove glove-embeddings natural-language-processing natural-language-understanding nlp semantic-similarity semantics semantle word-embeddings word2vec

Last synced: 13 Apr 2026

https://github.com/usingblockchain/symbol-taxonomy

Open source library for defining transaction taxonomies and in-aggregate semantics for Symbol from NEM

blockchain semantics symbol taxonomy

Last synced: 21 Mar 2026

https://github.com/atilafassina/a11y-reporter

📈 microservice for reports on semantics and accessibility

a11y a11y-testing api semantics

Last synced: 20 Jan 2026

https://github.com/comfreek/basic-ontology-language

An experimental ontology language formalized in Coq with many semantics

coq-formalization formal-languages formal-methods ontologies semantics

Last synced: 08 Aug 2025

https://github.com/tomekkorbak/lewis-signaling-games-in-python

Code accompanying the blog post "Introduction to Lewis signaling games with Python"

emergent-communication game-theory lewis-signaling-games python semantics

Last synced: 23 Jul 2025