open-metadata / OpenMetadata

The Open Context Layer for Data and AI , OpenMetadata is the open platform for building trusted data context and business semantics for humans, AI assistants, and agents.

go101 / go101

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

liustack / modlens

The first vision plugin for DeepSeek Harness, and the vision bridge for every text-only coding agent. Paste an image, get structured JSON evidence (OCR, layout, semantics). | 全网最强 DeepSeek Harness 外挂视觉插件，为 DeepSeek、GLM 等纯文本模型外挂视觉能力，粘贴图片即得结构化 JSON 证据（OCR、版面、语义）。

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

dotnet / aspnet-api-versioning

Provides a set of libraries which add service API versioning to ASP.NET Core Minimal APIs, Controllers, gRPC, OData, and Web API (Classic).

russellromney / honker

SQLite extension + bindings for Postgres NOTIFY/LISTEN semantics with durable queues, streams, pub/sub, and scheduler

protegeproject / protege

Protege Desktop

projectnessie / nessie

Nessie: Transactional Catalog for Data Lakes with Git-like semantics

CakeML / cakeml

CakeML: A Verified Implementation of ML

incluud / accessible-astro-starter

An Accessible, WCAG compliant Starter Theme for Astro 6+ including several accessibility features such as, better focus-outline, landmarks, semantics, interactive components and skip-link navigation. Ships with Tailwind 4, Prettier and ESLint support.

neo4j-labs / neosemantics

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

openbkn-ai / bkn-foundry

BKN Foundry is the Ontology back-end foundation of OpenBKN. It transforms ontology-driven business semantics into runtime services: data, logic, actions, security governance, and observability.

AmosHuKe / Mood-Example

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

mogill / ems

Extended Memory Semantics - Persistent shared object memory and parallelism for Node.js and Python

runtimeverification / evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

hhblaze / DBreeze

C# .NET NOSQL ( key value, object store embedded TextSearch SemanticSearch Vector layer ) ACID multi-paradigm database management system.

GenshinmasterJinHang / Miku-Material-Converter-Blender-to-Unity-

Miku is an open-source material conversion pipeline that translates Blender 5.2 Shader Nodes into editable Unity 6 URP Shader Graph assets. Through its target-neutral MaterialIR 2.0 representation and deterministic .mikubundle workflow, Miku preserves material semantics, texture intent, and structured diagnostics across DCC and game-engine boundary

SiriLee / dsh-rewind

DSH 插件：便捷无感的同窗口内对话回退，从不新建分支；自带轻量工作区备份，可一并还原文件（Claude Code /rewind 语义）。 · DSH plugin: effortless in-window conversation rewind — never forking a new session; ships a lightweight workspace backup that restores files together with the rewind (Claude Code /rewind semantics).

apimart001a / llm-gateway-comparison

LLM gateway comparison: self-hosted and managed AI API gateways compared on protocol compatibility, billing units, timeout and retry semantics, idempotency, quotas and observability.

markrussinovich / SemanticStart

Index system tools and installed apps to enable semantic start menu

ilyasergey / langlib

Esoteric Programming Languages, Formally

Lojhan / typed-sql

TypeScript 7-native SQL inference with real editor semantics

BasisResearch / ship-your-interpreter

Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary — zero sorries, zero axioms

rulego / gflow-engine

Embeddable approval workflow engine for Go, built on RuleGo — JSON DSL, full approval semantics, multi-tenant.