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: 17 Dec 2024

https://github.com/unsplash/datasets

🎁 5,400,000+ Unsplash images made available for research and machine learning

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

Last synced: 20 Dec 2024

https://github.com/mit-spark/kimera

Index repo for Kimera code

3d-reconstruction computer-vision robotics semantics slam visual-inertial-odometry

Last synced: 30 Nov 2024

https://github.com/MIT-SPARK/Kimera

Index repo for Kimera code

3d-reconstruction computer-vision robotics semantics slam visual-inertial-odometry

Last synced: 02 Nov 2024

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: 15 Dec 2024

https://github.com/protegeproject/protege

Protege Desktop

java knowledge-graph knowledge-management obo ontology ontology-engineering owl protege protege-desktop rdf reasoning semantics

Last synced: 06 Nov 2024

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: 20 Dec 2024

https://github.com/protegeproject/webprotege

The webprotege code base

knowledge-graph knowledge-management obo ontologies ontology ontology-engineering owl rdf semantics webapp

Last synced: 04 Nov 2024

https://github.com/thunlp/openhownet

Core Data of HowNet and OpenHowNet Python API

hownet knowledge-base nlp openhownet semantics sememe

Last synced: 15 Dec 2024

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: 21 Dec 2024

https://github.com/jbarrasa/goingmeta

code and resources used in the Going Meta sessions

graph-data-science integration knowledge-graph ontologies semantics

Last synced: 22 Dec 2024

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: 16 Dec 2024

https://github.com/rkirsling/modallogic

Modal Logic Playground

directed-graph modal-logic semantics

Last synced: 15 Dec 2024

https://github.com/smartdataanalytics/knowledge-graph-analysis-programming-exercises

Exercises for the Analysis of Knowledge Graphs

exercises knowledge-graph machine-learning semantics

Last synced: 17 Dec 2024

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: 18 Dec 2024

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: 21 Dec 2024

https://github.com/goodmami/penman

PENMAN notation (e.g. AMR) in Python

amr graph meaning penman python semantics

Last synced: 11 Nov 2024

https://github.com/richardpaulhudson/holmes-extractor

Information extraction from English and German texts based on predicate logic

information-extraction machine-learning natural-language-processing nlp ontology python semantics spacy spacy-extension text-classification

Last synced: 17 Dec 2024

https://github.com/EnvironmentOntology/envo

A community-driven ontology for the representation of environments

data-management data-science earth-science ecoinformatics ecology environment esip obofoundry ontology planetary-science semantics sustainable-development-goals

Last synced: 04 Nov 2024

https://github.com/aatxe/oxide

The essence of Rust.

formal-semantics rust semantics

Last synced: 15 Oct 2024

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

Abstract Meaning Representation (AMR) tutorial slides

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

Last synced: 08 Nov 2024

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: 30 Oct 2024

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: 09 Nov 2024

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

Python libraries for DELPH-IN

delph-in hpsg mrs nlp profile python semantics

Last synced: 15 Nov 2024

https://github.com/franxyao/distributional-generalization-in-natural-language-processing

Distributional Generalization in NLP. A roadmap.

compositional-generalization compositionality generalization learning-theory semantic-parsing semantics

Last synced: 12 Nov 2024

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: 17 Dec 2024

https://github.com/yuvalpinter/m3gm

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

markov-model nlp relation-extraction semantics wordnet

Last synced: 27 Oct 2024

https://github.com/w3c/dpv

Data Privacy Vocabularies and Controls CG (DPVCG)

data-protection gdpr privacy semantics vocabulary

Last synced: 07 Oct 2024

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

Abstract Meaning Representation (AMR) Hackathon

abstract-meaning-representation computational-linguistics natural-language-processing nlp python semantics

Last synced: 08 Nov 2024

https://github.com/spamegg1/abstract-thinking

Abstract thinking patterns and problem decomposition / solving strategies

abstraction axiomatic-thinking decomposition meta-learning modalities modeling paradigms patterns problem-solving recursion reification relations semantics structures syntax temporal thinking

Last synced: 20 Dec 2024

https://github.com/linkml/owlstar

Ontological Interpretations for Web Property Graphs

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

Last synced: 10 Nov 2024

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: 10 Nov 2024

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

Ontologies focused on scientific observations and scientific workflow provenance.

metadata ontology provenance semantics

Last synced: 03 Dec 2024

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

A library for manipulating DMRS structures

computational-linguistics delph-in dependency-graph dmrs formal-semantics hpsg linguistics minimal-recursion-semantics mrs natural-language natural-language-processing nlp python semantics

Last synced: 26 Nov 2024

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: 14 Nov 2024

https://github.com/aashrafh/frontend-components

The frontend of some of the popular web components using vanilla JS

bem bem-methodology css css3 frontend frontend-components html html-semantics html5 javascript semantics vanilla-javascript

Last synced: 23 Oct 2024

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: 15 Dec 2024

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: 10 Nov 2024

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: 21 Nov 2024

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: 22 Nov 2024

https://github.com/disruptek/dust

DUST is Unattended Syntax Truncation

ast bugs dust minimal nim reduce reproduce semantics syntax

Last synced: 17 Dec 2024

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: 23 Nov 2024

https://github.com/letmaik/xndarray

▦ Multidimensional arrays with semantics in JavaScript

coordinates javascript multidimensional-arrays ndarray semantics

Last synced: 17 Oct 2024

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

EMNLP Findings 2020: Reevaluating Adversarial Examples in Natural Language

natural-language semantics suspicion textattack

Last synced: 12 Nov 2024

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: 08 Dec 2024

https://github.com/acorrenson/bf

A Coq Formalization of the Brainfuck programming language

coq hacktoberfest programming-language semantics

Last synced: 20 Nov 2024

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

Notes on simple fibrational semantics.

boring-math fibrations semantics

Last synced: 30 Nov 2024

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: 14 Nov 2024

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: 11 Oct 2024

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: 10 Nov 2024

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: 11 Nov 2024

https://github.com/niklaskorz/nklang

A programming language interpreter written in Go

formal-languages golang interpreter lexer parser semantics

Last synced: 12 Nov 2024

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: 01 Dec 2024

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: 08 Nov 2024

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: 10 Nov 2024

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: 20 Nov 2024

https://github.com/juanbono/concrete-semantics-exercises

Learning Isabelle/HOL

exercises isabelle semantics

Last synced: 04 Dec 2024

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

Semantic math commands in LateX

latex mathematics semantics

Last synced: 19 Dec 2024

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: 05 Nov 2024

https://github.com/efiand/well

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

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

Last synced: 14 Nov 2024

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

📈 microservice for reports on semantics and accessibility

a11y a11y-testing api semantics

Last synced: 21 Dec 2024

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

Code release for Semantic Similarity Covariance Matrix Shrinkage

covariance embeddings optimization portfolio semantics

Last synced: 09 Nov 2024

https://github.com/lapin0t/ogs

operational game semantics, formalized in Coq

coq semantics

Last synced: 10 Oct 2024

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: 08 Nov 2024

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: 17 Dec 2024

https://github.com/paulcccccch/mnist-synthetic-experiments

Experiment repo for the core algorithm behind Robustar. We tried to debiase image classifiers through human intervention, data augmentation and paired training.

biased-signals humans mnist semantics

Last synced: 07 Nov 2024

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: 09 Nov 2024

https://github.com/giscience/measures-rest-sparql

A SPARQL endpoint for the Measures REST OSHDB App framework.

data osm quality semantics sparql sparql-endpoints

Last synced: 12 Nov 2024

https://github.com/efiand/netbiblio

Интернет-архив авторской русскоязычной литературы.

a11y admin-panel amp api commercial design favicons mobile-first nodejs opengraph portfolio-project postcss postgresql prisma semantics spa sveltekit svg typography webp

Last synced: 14 Nov 2024

https://github.com/parassharmaa/election-semantics

Semantics extraction on tweets data during election voting day (Punjab and Goa)

deep-learning elections python semantics word2vec

Last synced: 16 Nov 2024

https://github.com/deyaaeldeen/monotonic

Monotonic References for Gradual Typing in Agda

agda gradual-typing semantics

Last synced: 17 Dec 2024

https://github.com/anirudhagar13/ss_graph

Custom Semantic Similarity Graph based on Wordnet for document comparison

nlp patent-search semantics wordnet

Last synced: 17 Nov 2024

https://github.com/efiand/antarctic

Вёрстка лендинга «Круизы в Антарктику»

a11y bem desktop-first eslint favicons gulp htmlacademy mentorship-programme pixelperfect portfolio-project posthtml retinal-images semantics sprite stylelint typograf vanilla-js w3c-validation webp yandex-maps

Last synced: 14 Nov 2024

https://github.com/anthonysigogne/hackatoniwcs2017

L'objet du Hackathon IWCS 2017 est d'extraire à partir de textes des relations sémantiques entre paires de termes.

corpus linguistics nlp semantics

Last synced: 12 Nov 2024

https://github.com/kenpusney/computation

Understanding Computation code in Java

automata java semantics turing-machine understanding-computation utlc

Last synced: 01 Dec 2024

https://github.com/yurrriq/ott-core-erlang

core-erlang ott semantics specification

Last synced: 17 Nov 2024

https://github.com/nb312/flutter_resources

Flutter Learning Resoure

animation bottomappbar bottomsheet button card cupertino diagram flutter gestures http json semantics services statelesswidget test theme widgets

Last synced: 16 Dec 2024

https://github.com/melchisedech333/antlr4-demonstration-project

:wrench: Demonstration of using ANTLR4 (with runtime for C++) in projects for context-free grammar processing. The ANTLR4 (Java) package is included, and the project is configured to compile on Linux.

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

Last synced: 08 Dec 2024

https://github.com/peterr-s/dep-compose

A compositional approach to phrase embeddings

deep-learning embeddings semantics text-representation

Last synced: 11 Nov 2024

https://github.com/zoobereq/semantic_similarities

A tool to assess semantic similarity between English words

embeddings nlp semantics similarity similarity-measures similarity-score word-embedding-evaluation word-embeddings word2vec word2vec-embeddinngs wordnet

Last synced: 17 Dec 2024

https://github.com/zoobereq/genusidator

A Rule-Based System to Explain Grammatical Gender Assignment in German Nouns

german german-language german-translation grammatical-gender grammatical-genders language-learning morphology morphology-analysis semantics sla taxonomy wordnet

Last synced: 17 Dec 2024

https://github.com/efiand/nerds

Сайт-портфолио небольшой веб-студии.

a11y bem eslint gulp htmlacademy htmlhint image-optimization mentorship-programme pixelperfect portfolio-project progressive-enhancement range-slider semantics sprite stylelint vanilla-js w3c-validation yandex-maps

Last synced: 14 Nov 2024

https://github.com/efiand/evraz

Главная страница крупной промышленной компании.

a11y bem gulp image-optimization pixelperfect portfolio-project semantics sprite stylelint w3c-validation

Last synced: 14 Nov 2024

https://github.com/efiand/milksnood

Лендинг небольшой фирмы по продаже милкснудов.

a11y commercial design eslint favicons image-optimization mobile-first opengraph portfolio-project semantics sprite stylelint sveltekit telegram-bot-api vite webp

Last synced: 14 Nov 2024

https://github.com/efiand/kvast

Одностраничник производителя крафтового кваса.

a11y bem eslint gulp htmlacademy htmlhint image-optimization mentorship-programme pixelperfect portfolio-project semantics stylelint w3c-validation

Last synced: 14 Nov 2024

https://github.com/efiand/sedona

Сайт туристического городка.

a11y eslint flatpickr gulp htmlacademy image-optimization mentorship-programme pixelperfect postcss posthtml progressive-enhancement range-slider semantics sprite stylelint w3c-validation webp webpack

Last synced: 14 Nov 2024

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