Repository Index

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.

• metadata
• datadiscovery
• dataquality
• data-profiling

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

• reverse-engineering
• symbolic-execution
• binary-analysis
• program-analysis

A curated list of Ant Design resources and related projects. The main idea is that everyone can contribute here, so we can have a central repository of informations about Ant Design that we keep up-to-date

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

• aspnet
• aspnetcore
• versioning
• versioning-semantics

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

Index repo for Kimera code

• robotics
• computer-vision
• semantics
• 3d-reconstruction

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

• data
• spark
• java
• iceberg

Real-Time 3D Semantic Reconstruction from 2D data

• semantic-segmentation
• volumetric-reconstruction
• 3d-reconstruction
• robotics

K Semantics of the Ethereum Virtual Machine (EVM)

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

• nosql
• database
• embedded
• c-sharp

The example project of inferencing Semantic Segementation using Core ML

Haskell distributed stream processing with exactly-once semantics

a checker for the geojson format. goes beyond a schema, checking semantics and producing character-level warnings.

• geojson
• maps
• linter

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

Zero-dependency 128-bit fixed-point decimal for Go. Exact SQL NUMERIC / PostgreSQL semantics, no heap allocation, no panics — built for money, ledgers and banking arithmetic.

• decimal
• fixed-point
• go
• golang

Logi is light-weight C++ Vulkan abstraction framework, which attempts to bridge the gap between previous graphics APIs and Vulkan by making API easier to use while still preserving Vulkan semantics and introducing as little overhead as possible.

• vulkan
• vulkan-wrapper
• vulkan-library
• vulkan-cpp

No description provided by the repository host.