semantics | Topic | Ecosyste.ms: Repos

Topic: "semantics"

wjrforcyber/SystemT

👨‍💻 Implementing System T in Haskell 👨‍💻

Language: Haskell - Size: 3.55 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 7 - Forks: 0

JasonRoesbeke/WorkRecordPlugin

OBSOLETE, go to github.com/ADAPT/GeoJSONPlugin (ADAPT plugin exporting all geospatial data in GeoJson)

Language: C# - Size: 1.62 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0

input-output-hk/ce-semantics-dsl

Denotational semantics for the masses

Language: Scala - Size: 1.54 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 2

sileod/DiscSense

Automated Semantic Analysis of Discourse Markers

Size: 85 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 3

QData/Reevaluating-NLP-Adversarial-Examples

EMNLP Findings 2020: Reevaluating Adversarial Examples in Natural Language

Language: Jupyter Notebook - Size: 17.7 MB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 3

opensemanticsearch/lexemes

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

Language: Python - Size: 14.6 KB - Last synced at: 26 days ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0

petur-a/masters

Developing a type system for a minimal reversible functional language.

Language: TeX - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0

mrieppel/fol

FOL Evaluator - a semantic calculator for first order logic

Language: JavaScript - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 1

benbrastmckie/ModelChecker

A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.

Language: Python - Size: 11.4 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 6 - Forks: 1

italia/schema-editor Fork of swagger-api/swagger-editor

schema editor

Language: TypeScript - Size: 309 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 1

vporton/xml-boiler

Automatically transform between XML namespaces in a clever way: https://vporton.github.io/xml-boiler-docs/

Language: Python - Size: 727 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

semprag/semprag.github.io

Public resources for authoring and styling Semantics & Pragmatics articles.

Language: TeX - Size: 1.09 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 6 - Forks: 1

jeffhj/VER

The official repo for "VER: Unifying Verbalizing Entities and Relations" (Findings of EMNLP '23)

Language: Python - Size: 3.07 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

SapienzaNLP/neural-pagerank-wsd

Exploiting the global WordNet graph to perform WSD

Language: Python - Size: 348 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1

acorrenson/BF

A Coq Formalization of the Brainfuck programming language

Language: Coq - Size: 25.4 KB - Last synced at: 29 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

styfeng/SMERTI

Code for SMERTI for Semantic Text Exchange.

Language: Jupyter Notebook - Size: 222 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 1

frankaging/LAT-for-Transformer

Structured Self-Attention Weights Encode Semantics in Sentiment Analysis

Language: Jupyter Notebook - Size: 11.6 MB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 2

jozefg/fibrational-semantics

Notes on simple fibrational semantics.

Language: TeX - Size: 2.65 MB - Last synced at: 25 days ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0

yasenstar/ArchiMate_Ontology

Build ontology view step-by-step on OpenGroup's ArchiMate 3.2 Specification

Language: HTML - Size: 230 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 1

Wimmics/olivaw

Python framework for Agile ontology development support to be used with command lines with pre-commit or GitHub Actions

Language: Python - Size: 5.01 MB - Last synced at: 10 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 1

sztal/segram

A framework for semantic grammar and narrative analysis.

Language: Python - Size: 1.02 MB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

basf/EPPOontology

Ontology for the respresentation of the information available in the EPPO Global Database.

Size: 24.7 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 0

verlab/SemanticFastForward_ECCVW_2016

Towards Semantic Fast-Forward and Stabilized Egocentric Videos @ 2016 First International Workshop on Egocentric Perception, Interaction and Computing at European Conference on Computer Vision Workshops (EPIC@ECCVW)

Language: MATLAB - Size: 30.5 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 3

jmacwan/POSPair

Simplifying representation for Natural Language Processing

Language: Python - Size: 53.7 KB - Last synced at: 15 days ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 1

mmisw/cfsn

CF Standard Names Vocabulary Browser

Language: JavaScript - Size: 613 KB - Last synced at: about 1 year ago - Pushed at: about 10 years ago - Stars: 5 - Forks: 1

Gradual-Typing/LambdaIFCStar

The Agda mechanization of a gradual security-typed programming language with general mutable references.

Language: Agda - Size: 971 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 4 - Forks: 1

vporton/xml-boiler-dlang

Automatically transform between XML namespaces in a clever way: https://vporton.github.io/xml-boiler-docs/

Language: D - Size: 67.4 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0

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.

Language: Python - Size: 1.48 MB - Last synced at: 29 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

giros-dit/semantic-data-aggregator

A semantic monitoring framework for aggregating data from heterogeneous sources.

Language: Java - Size: 519 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

gipplab/MathMLben

A quality benchmark for MathML

Language: HTML - Size: 10.2 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 2

ESIPFed/stc

Repository for the Semantic Technologies Committee

Language: HTML - Size: 272 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 4

Dev-XYS/Lazy-Desugaring

A Lazy Desugaring System for Evaluating Programs with Sugars

Language: Racket - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

Immiora/semantic_encoding_ecog_clarifai_fasttext

Language: OpenEdge ABL - Size: 4.3 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 1

awanczowski/marklogic-multi-model-search

Identify articles that may not have been visible to the end-user due to narrow classification

Language: JavaScript - Size: 227 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

nbice1/First-Order-Logic

This project is aimed at developing a program to evaluate the truth-value of sentences in First-Order Logic and construct proofs.

Language: Python - Size: 225 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

thunlp/DictSKB

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

Language: Python - Size: 53 MB - Last synced at: 8 days ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 3

letuananh/visualkopasu

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

Language: JavaScript - Size: 2.22 MB - Last synced at: 18 days ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 0

letuananh/lelesk

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

Language: Python - Size: 2.61 MB - Last synced at: 23 days ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 1

codekhal/Inshorts-NLP

Analysed syntax and Semantics of Corpus of Text Documents Retrieved from Web Scraping of News articles from Inshorts and followed the Standard NLP Workflow of the CRISP-DM model.

Language: Jupyter Notebook - Size: 3.4 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

eellak/diadikasies-wiki-to-BPMN

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

Language: JavaScript - Size: 3.48 MB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 0

niklaskorz/nklang

A programming language interpreter written in Go

Language: Go - Size: 69.3 KB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 1

jswalens/chocola-redex

PLT Redex implementation of Chocola.

Language: Racket - Size: 120 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0

MonoidalAttackTrees/ATLL-Formalization

Agda formalization of the Attack Tree Linear Logic

Language: Agda - Size: 115 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

pedroangelo/interpreter

An interpreter written in Haskell for a gradually typed functional language

Language: Haskell - Size: 175 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

esantus/Thematic_Fit

Data and code for the experiments in: "Measuring Thematic Fit with Distributional Feature Overlap". Enrico Santus, Emmanuele Chersoni, Alessandro Lenci and Philippe Blache. EMNLP 2017

Language: Python - Size: 23 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 0

jimtyhurst/generalized-quantifiers

Clojure implementation of Generalized Quantifiers for English sentences.

Language: Clojure - Size: 110 KB - Last synced at: about 2 years ago - Pushed at: over 11 years ago - Stars: 4 - Forks: 1

abalvet/nomage

Nomage is a lexical database of French deverbal nouns, extracted from the French Treebank. Each noun's syntax-semantics argument mappings are described, each noun is linked to its original sentence in the FTB corpus.

Language: Jupyter Notebook - Size: 2.51 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

ps02v/BBO

The BBO repository holds the latest version of the Biomedical Burden Ontology.

Size: 1.97 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

SuperBruceJia/Medical-Concept-Mapping

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

Language: Python - Size: 7.9 MB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

gatemezing/awesome-semantics-on-rails

A curated list of Knowledge graphs, projects, resources and initiatives related to applying semantic web technology in the railways domain.

Size: 16.6 KB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

mb010/Text2Tag

Code base for the analysis presented in in Bowles et al. 2022: "Radio Galaxy Zoo EMU: Towards a Semantic Radio Galaxy Morphology Taxonomy"

Language: Jupyter Notebook - Size: 14.5 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 2

jespb/Python-GSGP

My implementarion of the Geometric Semantic Genetic Programming (GSGP) algorithm.

Language: Python - Size: 48.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

tomsherborne/geoquery-src

A mirror of the original GeoQuery info site

Language: Prolog - Size: 395 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

rrovetto/Astronautics-Terminology

A cataloging and examination of terms and definitions in astronautics (spaceflight). This is a task in the Astonautical Knowledge Modeling project, and related ontology projects by Robert Rovetto.

Size: 370 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

UniversalConceptualCognitiveAnnotation/UniversalConceptualCognitiveAnnotation.github.io

Size: 220 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

kellertuer/MathSemantics.sty

Semantic math commands in LateX

Language: TeX - Size: 1.48 MB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

ESIPFed/SeREEn

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

Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0

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)

Language: Coq - Size: 1.41 MB - Last synced at: 25 days ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

chrisdrymon/Sem-Dom-Visualizer

A visualization for semantic domains in English and Ancient Greek

Language: Python - Size: 39.4 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

raptazure/pluw

Programming Languages, University of Washington

Language: Standard ML - Size: 40 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

scarletcho/hypernym-path-generation

Path-based hypernym prediction models in WordNet (WN18RR-hp)

Language: Python - Size: 1.93 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1

sayarghoshroy/Summarization

A lightweight Extractive Summarization Formulation for the CNN Dataset

Language: Jupyter Notebook - Size: 10.7 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 2

maobedkova/SemanticGrouping

The algorithm of semantic grouping for Russian based on the Explanatory Dictionary by S. I. Ozhegov.

Language: Python - Size: 11.7 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

kuhumcst/wordties Fork of andersjo/andreord-public

WordTies presents a search interface and visualisation of the conceptual network of a WordNet, to browse its relational and multilingual links to other wordnets. Originally developed for visualising DanNet, the Danish wordnet.

Language: Ruby - Size: 72.4 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 1

juanbono/concrete-semantics-exercises

Learning Isabelle/HOL

Language: Isabelle - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

drseb/phenopposites

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

Size: 19.5 KB - Last synced at: 25 days ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 2

tilk/LambdaCert Fork of progval/LambdaCert

Certified LambdaJS semantics and interpreter.

Language: Coq - Size: 4.5 MB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 0

efiand/well

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

Language: JavaScript - Size: 267 KB - Last synced at: about 9 hours ago - Pushed at: about 10 hours ago - Stars: 2 - Forks: 1

Intlekt/libieml

Language: C++ - Size: 3.58 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 1

Lapin0t/ogs

operational game semantics, formalized in Coq

Language: Coq - Size: 1010 KB - Last synced at: 25 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

ProjectPersephone/WebL0

front and back end for tools using Natural Semantic Metalanguage, Applicative Universal Grammar, and Radical Construction Grammar

Language: Java - Size: 462 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

yago-mendoza/suskind-knowledge-graph

Graph-based NLP framework leveraging a curated database and an intuitive CLI for advanced, context-rich language understanding.

Language: Python - Size: 271 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

pablobernabeu/Modality-switch-effects-emerge-early-and-increase-throughout-conceptual-processing

This Github repo has the sole purpose of enabling Binder environments to run R code in RStudio (https://mybinder.org/v2/gh/pablobernabeu/Modality-switch-effects-emerge-early-and-increase-throughout-conceptual-processing/master?urlpath=rstudio) and Shiny (https://mybinder.org/v2/gh/pablobernabeu/Modality-switch-effects-emerge-early-and-increase-throughout-conceptual-processing/master?urlpath=shiny/Shiny-app/) environments.

Language: R - Size: 139 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 2