GitHub topics: semantics

Repositories

crenta/LanGU

This project implements a simple interpreter for the LanGU programming language.

Language: Python - Size: 10.2 MB - Last synced at: about 11 hours ago - Pushed at: about 12 hours ago - Stars: 0 - Forks: 0

krippi842/Skynoble-Programming-Language

"Skynoble: Code the Future, Shape the Infinite."

Language: Python - Size: 76.2 KB - Last synced at: about 20 hours ago - Pushed at: about 21 hours ago - Stars: 1 - Forks: 1

zpnst/refunpy

Tiny FunC interpreter on refalpy

Language: Python - Size: 5.86 KB - Last synced at: about 20 hours ago - Pushed at: about 21 hours ago - Stars: 0 - Forks: 0

Auto-CORPus pipeline developed by a University of Nottingham and Imperial College London collaboration to standardize text and table data extracted from full text publications. See Open Access publication at: https://doi.org/10.3389/fdgth.2022.788124.

Language: HTML - Size: 55.7 MB - Last synced at: about 22 hours ago - Pushed at: about 23 hours ago - Stars: 21 - Forks: 8

ContextMark/CML

一种自然语义架构驱动的上下文标记语言，为AI时代而生

Size: 1.94 MB - Last synced at: about 23 hours ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

LBNL-ETA/DFLEXLIBS

Demand Flexibility Controls Library using Semantics

Language: Python - Size: 320 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 11 - Forks: 3

CommonCoreOntology/CommonCoreOntologies

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

Language: Makefile - Size: 16.5 MB - Last synced at: about 19 hours ago - Pushed at: about 20 hours ago - Stars: 230 - Forks: 61

nicolas-hbt/pygraft

Configurable Generation of Synthetic Schemas and Knowledge Graphs at Your Fingertips

Language: Python - Size: 699 KB - Last synced at: 2 days ago - Pushed at: 10 months ago - Stars: 682 - Forks: 45

css-naked-day/css-naked-day.github.io

Show off your semantic <body>!

Language: HTML - Size: 1.21 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 86 - Forks: 117

thunlp/OpenHowNet

Core Data of HowNet and OpenHowNet Python API

Language: Python - Size: 259 MB - Last synced at: about 4 hours ago - Pushed at: over 3 years ago - Stars: 617 - Forks: 88

CodingDango/web-practice-modern-day-observer

Semantic Practice using only HTML

Language: HTML - Size: 2.93 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

metadatacenter/cedar-project

Build project for all CEDAR Java repositories

Size: 148 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 14 - Forks: 1

EnvironmentOntology/envo

A community-driven ontology for the representation of environments

Language: Makefile - Size: 107 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 145 - Forks: 54

AmosHuKe/Mood-Example

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

Language: Dart - Size: 182 MB - Last synced at: 4 days ago - Pushed at: 15 days ago - Stars: 516 - Forks: 83

protegeproject/protege

Protege Desktop

Language: Java - Size: 42.9 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1,066 - Forks: 236

LingAdeu/python-for-linguistic-analysis

This repository documents my learning journey in quantitative linguistics with Python. For now, it only contains simple implementation of Python without explanations, especially on syntax and semantics.

Language: Jupyter Notebook - Size: 16.2 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

unsplash/datasets

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

Language: Jupyter Notebook - Size: 65.4 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 2,530 - Forks: 127

guilhermeleitao2002/MML-Compiler

MML compiler: C-like syntax, weak typing, pointers, and C interop.

Language: C++ - Size: 2.74 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

w3c/dpv

Data Privacy Vocabularies and Controls CG (DPVCG)

Language: HTML - Size: 212 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 52 - Forks: 31

aquametalabs/aquameta

Web development platform built entirely in PostgreSQL

Language: PLpgSQL - Size: 42.6 MB - Last synced at: 9 days ago - Pushed at: 5 months ago - Stars: 1,095 - Forks: 52

neo4j-labs/neosemantics

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

Language: Java - Size: 9.8 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 866 - Forks: 144

benbrastmckie/ModelChecker

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

Language: Python - Size: 11.1 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 6 - Forks: 1

go101/go101

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

Language: HTML - Size: 9.33 MB - Last synced at: 14 days ago - Pushed at: 22 days ago - Stars: 5,862 - Forks: 436

jbarrasa/goingmeta

code and resources used in the Going Meta sessions

Language: Jupyter Notebook - Size: 43.9 MB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 493 - Forks: 86

ozekik/mathesis

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

Language: Python - Size: 1.18 MB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 21 - Forks: 3

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: 17 days ago - Pushed at: 17 days ago - Stars: 4 - Forks: 1

sdasgup3/binary-decompilation

Extracting high level semantic information from binary code

Language: Assembly - Size: 244 MB - Last synced at: 10 days ago - Pushed at: almost 6 years ago - Stars: 65 - Forks: 8

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

schema editor

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

mit-plv/koika

A core language for rule-based hardware design 🦑

Language: Coq - Size: 4.81 MB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 148 - Forks: 12

MIT-SPARK/Kimera

Index repo for Kimera code

Size: 59.5 MB - Last synced at: 21 days ago - Pushed at: about 4 years ago - Stars: 1,892 - Forks: 235

spamegg1/abstract-thinking

Abstract thinking patterns and problem decomposition / solving strategies

Size: 1.26 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 31 - Forks: 3

jeswr/blog

My personal blog

Language: HTML - Size: 15.4 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

C33Tech/quackerjack

A social post comment thread analyzer written in Golang.

Language: Go - Size: 5.89 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 14 - Forks: 2

yasenstar/ArchiMate_Ontology

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

Language: HTML - Size: 230 MB - Last synced at: 6 days ago - Pushed at: 24 days ago - Stars: 5 - Forks: 1

SuperBruceJia/Awesome-LLM-Self-Consistency

Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models

Size: 149 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 96 - Forks: 7

libLISA/liblisa

libLISA: Instruction Discovery and Analysis on x86-64

Language: Rust - Size: 2.82 MB - Last synced at: 26 days ago - Pushed at: 2 months ago - Stars: 108 - Forks: 5

zpnst/operational-semantics

A simple implementation of the operational semantics of small and big steps in Ruby

Language: Ruby - Size: 4.88 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0

protegeproject/webprotege

The webprotege code base

Language: Java - Size: 66.6 MB - Last synced at: 19 days ago - Pushed at: about 1 year ago - Stars: 650 - Forks: 254

msg-systems/holmes-extractor

Information extraction from English and German texts based on predicate logic

Language: Python - Size: 1.51 MB - Last synced at: 2 days ago - Pushed at: almost 3 years ago - Stars: 390 - Forks: 38

biopragmatics/biomappings

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

Language: Jupyter Notebook - Size: 84.9 MB - Last synced at: 17 days ago - Pushed at: 29 days ago - Stars: 52 - Forks: 14

FranxYao/Distributional-Generalization-in-Natural-Language-Processing

Distributional Generalization in NLP. A roadmap.

Language: Jupyter Notebook - Size: 5.94 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 88 - Forks: 3

SmartDataAnalytics/Knowledge-Graph-Analysis-Programming-Exercises

Exercises for the Analysis of Knowledge Graphs

Language: Jupyter Notebook - Size: 7.92 MB - Last synced at: 15 days ago - Pushed at: about 2 years ago - Stars: 276 - Forks: 72

rkirsling/modallogic

Modal Logic Playground

Language: JavaScript - Size: 164 KB - Last synced at: 16 days ago - Pushed at: about 1 year ago - Stars: 370 - Forks: 56

odpi/data-governance 📦

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

Size: 255 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 104 - Forks: 29

jcfgonc/unolibrary

Multi-Purpose support library developed during my PhD. It's always Work-In-Progress.

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

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

jirutka/asciidoctor-html5s

Semantic HTML5 converter (backend) for Asciidoctor

Language: HTML - Size: 273 KB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 91 - Forks: 11

TelescopeAI/cortex

Lightweight Modular Analytics Platform

Language: Python - Size: 53.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

MalcolmMielle/maoris

(ICRA 2017) Cutting most types of maps in smaller more meaningful bits.

Language: C++ - Size: 9.93 MB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 16 - Forks: 14

dhchenx/ICD11-CAC

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

Language: C# - Size: 45.5 MB - Last synced at: 21 days ago - Pushed at: about 5 years ago - Stars: 14 - Forks: 4

mgree/smoosh

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

Language: OCaml - Size: 3.66 MB - Last synced at: 15 days ago - Pushed at: about 2 years ago - Stars: 118 - Forks: 5

petru-braha/YP-compiler

A custom C-like compiler developed on Linux

Language: C++ - Size: 1.06 MB - Last synced at: 12 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

dritlopes/language_models_outperform_cloze_predictability_in_a_cognitive_model_of_reading

Repo with code to run experiments comparing different predictability sources in OB1-reader, a model of eye movement control during reading. This work is part of a PhD project conducted by Adrielli Lopes and supervised by Martijn Meeter and Joshua Snell (Vrije Universiteit Amsterdam).

Language: Python - Size: 17.7 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 2

nert-nlp/streusle

STREUSLE: a corpus with comprehensive lexical semantic annotation (multiword expressions, supersenses)

Language: Python - Size: 40.3 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 65 - Forks: 17

dfo-pacific-science/salmon-data-standards-workshop

Language: R - Size: 6.61 MB - Last synced at: about 12 hours ago - Pushed at: about 14 hours ago - Stars: 0 - Forks: 0

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: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0

efiand/well

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

Language: JavaScript - Size: 773 KB - Last synced at: 12 days ago - Pushed at: 2 months ago - Stars: 2 - Forks: 1

New-Soul-Of-Science-Project/New-Soul-Of-Science-Project-Web

New Understandings and Approaches to Physics, to Nature Philosophy, to Life Science, to Psychosomatics, to Society, to Semantics, and to Mathematics – as Website

Language: PHP - Size: 283 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 11 - Forks: 7

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: 17 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

sztal/segram

A framework for semantic grammar and narrative analysis.

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

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: 3 days ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

jlsuh/ssl 📦

Language: C - Size: 911 KB - Last synced at: 6 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

nicolay-r/ARElight-server

This is a GUI server for ARElight project

Language: HTML - Size: 85 KB - Last synced at: 17 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

aatxe/oxide 📦

The essence of Rust.

Language: OCaml - Size: 1.26 MB - Last synced at: about 3 hours ago - Pushed at: about 3 years ago - Stars: 123 - Forks: 4

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

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: 27 days ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1

ps02v/SOOO

The SOOO repository holds the latest version of the Skills for Organisational Objectives Ontology.

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

PRBonn/bonnetal

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

Language: Python - Size: 199 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 235 - Forks: 59

linkml/owlstar

Ontological Interpretations for Web Property Graphs

Language: Makefile - Size: 46.9 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 31 - Forks: 4

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

Lapin0t/ogs

operational game semantics, formalized in Coq

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

NCMBianchi/OMIM-converter

a JavaScript conversion tool for Open Data Science URIs

Language: Python - Size: 475 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

richardpaulhudson/holmes-extractor

Information extraction from English and German texts based on predicate logic

Language: Python - Size: 670 KB - Last synced at: 9 days ago - Pushed at: almost 2 years ago - Stars: 135 - Forks: 12

LuKuangChen/stacker-2023

A notional machine for the SMoL languages

Language: ReScript - Size: 5.04 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 14 - Forks: 0

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).

Language: C - Size: 133 KB - Last synced at: 12 days ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1

linkml/linkml-datalog

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

Language: Python - Size: 705 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 0

mikahama/FinMeter

Tools for assessing Finnish poetry: rhymes, meter, hyphenation of Finnish and so on.

Language: Python - Size: 1.01 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 1

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

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.

Language: Java - Size: 378 KB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1