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.
☆18Updated last week
Alternatives and similar repositories for atlas-cli
Users that are interested in atlas-cli are comparing it to the libraries listed below
Sorting:
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- A MCP server for symbolic manipulation of mathematical expressions☆41Updated 3 months ago
- A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.☆58Updated 3 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆20Updated 2 weeks ago
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- System for verifying the correctness of generated Copilot programs☆17Updated 5 months ago
- ☆46Updated 10 months ago
- ☆28Updated 4 years ago
- Rust crates for XetHub☆70Updated last year
- The (B)ig (F)unction (T)axonomy is a detailed reference for common compute functions executed by different libraries, databases, and tool…☆17Updated 10 months ago
- A fully serverless implementation of the ZooKeeper coordination protocol.☆22Updated last year
- vAccel is a runtime library that aims to help development of applications using hardware acceleration☆43Updated this week
- An extensible compiler for cryptography.☆21Updated last month
- Definitional implementation of Cedar language and utilities for DRT☆138Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated this week
- Research unikernel for virtualized services☆51Updated 2 years ago
- vertical + gpu + free join + datalog☆20Updated 8 months ago
- ☆12Updated last year
- Storage systems with verified correctness properties☆55Updated last week
- LLVM support for the lean theorem prover☆52Updated 4 years ago
- Azure Cosmos TLA+ specifications☆22Updated 8 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 8 months ago
- Messaging and state layer for distributed serverless applications☆68Updated last week
- Lean models of Rust libraries☆21Updated last year
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- CN separation logic refinement type system for C☆36Updated last week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- Repository for the HARDENS project☆26Updated 10 months ago
- egraphs-good website☆18Updated last year