IntelLabs / atlas-cliLinks
A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine learning models, datasets, and related artifacts.
☆21Updated this week
Alternatives and similar repositories for atlas-cli
Users that are interested in atlas-cli are comparing it to the libraries listed below
Sorting:
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆16Updated 2 weeks ago
- Rust crates for XetHub☆78Updated last year
- A MCP server for symbolic manipulation of mathematical expressions☆53Updated 7 months ago
- BlindBox is a tool to isolate and deploy applications inside Trusted Execution Environments for privacy-by-design apps☆64Updated 2 years ago
- Go monorepo for a framework to build Linux block devices in userspace☆31Updated 3 months ago
- Machine learning for machine code.☆94Updated 3 months ago
- Because it's there.☆16Updated last year
- ☆86Updated this week
- ☆25Updated 3 months ago
- ☆23Updated 3 months ago
- ☆69Updated 11 months ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆150Updated 4 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- ☆19Updated 5 months ago
- A series of high-performance GEMM (General Matrix Multiply) implementations Iteratively optimised for H100 GPUs in Pure CUDA.☆64Updated 3 weeks ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 3 months ago
- NVIDIA’s repository for enabling trustworthy AI.☆24Updated 3 weeks ago
- ☆33Updated 5 months ago
- PDLP algorithm for linear programming☆89Updated last month
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- PCCL (Prime Collective Communications Library) implements fault tolerant collective communications over IP☆141Updated 4 months ago
- First token cutoff sampling inference example☆30Updated 2 years ago
- The Quasi Quantum Assembly Programming Language☆36Updated 2 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆23Updated 2 years ago
- Storage systems with verified correctness properties☆59Updated this week
- Tenstorrent console based hardware information program☆58Updated this week
- Estimating hardware and cloud costs of LLMs and transformer projects☆20Updated 3 weeks ago
- Training GPTs to solve interaction nets☆18Updated last year
- Real-time terminal monitor for InfiniBand networks - htop for high-speed interconnects☆134Updated last month
- Agentkube - Run Kubernetes Like Never Before☆25Updated last month