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:
- A MCP server for symbolic manipulation of mathematical expressions☆48Updated 6 months ago
- Rust crates for XetHub☆75Updated last year
- BlindBox is a tool to isolate and deploy applications inside Trusted Execution Environments for privacy-by-design apps☆63Updated 2 years ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- ☆34Updated 4 months ago
- Machine learning for machine code.☆94Updated 2 months ago
- ☆43Updated this week
- ☆85Updated this week
- Experiments with interactive theorem provers, LLMs and formal systems☆23Updated 2 years ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆145Updated 3 months ago
- Digital Red Queen: Adversarial Program Evolution in Core War with LLMs☆54Updated this week
- Because it's there.☆16Updated last year
- ☆25Updated 2 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 5 months ago
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆123Updated 3 weeks ago
- Real-time terminal monitor for InfiniBand networks - htop for high-speed interconnects☆134Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated 2 months ago
- Storage systems with verified correctness properties☆59Updated last month
- Go monorepo for a framework to build Linux block devices in userspace☆31Updated 2 months ago
- A functional query language, implemented in Rust☆36Updated last month
- It's a baby compiler. (Lean btw.)☆16Updated 7 months ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 2 weeks ago
- Research unikernel for virtualized services☆52Updated 3 years ago
- Training GPTs to solve interaction nets☆18Updated last year
- First token cutoff sampling inference example☆30Updated last year
- PDLP algorithm for linear programming☆87Updated last week
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆13Updated 7 years ago
- The Quasi Quantum Assembly Programming Language☆36Updated last month
- This repository is for administrative documents for the CoSAI OASIS Open Project☆70Updated this week
- Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on…☆125Updated 3 weeks ago