☆16May 12, 2025Updated last year
Alternatives and similar repositories for AutoSM
Users that are interested in AutoSM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is an experiment platform with autonomous agent openpilot0.8.9 and simulator carla 9.11 without docker setups.☆12Jan 3, 2025Updated last year
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆20Aug 9, 2021Updated 4 years ago
- A library for pairing based cryptography☆37Jul 9, 2026Updated last week
- Example repository for Veramo NodeJS Tutorial☆12Jun 26, 2024Updated 2 years ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Feb 27, 2024Updated 2 years ago
- ☆67Jul 11, 2024Updated 2 years ago
- A page containing many useful links.☆26Sep 6, 2024Updated last year
- Policy Administration point to handle ODRL policies and provide their Rego-equivalent to the Open Policy Agent☆15Jun 22, 2026Updated 3 weeks ago
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated 2 years ago
- Research Advances in the Latest Federal Learning Papers (Updated March 27, 2023)☆14Sep 19, 2023Updated 2 years ago
- The objective of this SIG is to develop and maintain the Digital Wallets and Agents Overview. The overview should provide transparency of…☆31Updated this week
- ☆26Aug 14, 2024Updated last year
- ☆23May 25, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆29Mar 7, 2026Updated 4 months ago
- ☆32Jul 10, 2026Updated last week
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Mar 5, 2022Updated 4 years ago
- Open-source code for RFCNLP paper.☆56Nov 9, 2022Updated 3 years ago
- Web application (Backend Restful service) that acts as a Verifier/RP trusted end-point.☆56Updated this week
- A pure-Rust implementation of Bulletproofs using Ristretto.☆65Sep 13, 2025Updated 10 months ago
- OpenID for Verifiable Credentials - modules for issuers, holders and RPs☆92Jul 3, 2026Updated 2 weeks ago
- Automated Benchmarking of LLM Agents on Real-World Software Security Tasks [NeurIPS 2025]☆87Jan 27, 2026Updated 5 months ago
- Hey folks, this is a repository for papers on LLM for Vuln. Detection area☆85Apr 2, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Compile Solidity source code and verify its bytecode matches the blockchain☆87Jun 24, 2024Updated 2 years ago
- A decentralized self sovereign identity solution developed by Jolocom.☆82Mar 21, 2023Updated 3 years ago
- The BBS Signature Scheme☆103Mar 16, 2026Updated 4 months ago
- Open-Source Mobile SSI Wallet☆104Jul 3, 2026Updated 2 weeks ago
- Javascript library to work with circomlib circuits☆94Jun 5, 2026Updated last month
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆89Feb 26, 2023Updated 3 years ago
- ☆119Updated this week
- A curated list of awesome security resources for ZK.☆122Jun 22, 2026Updated 3 weeks ago
- A library for generating zk-STARKs.☆149Jul 29, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆128Oct 8, 2025Updated 9 months ago
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆147May 25, 2026Updated last month
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆176May 4, 2023Updated 3 years ago
- Bifold is an extensible open-source React Native project designed to enhance the way we interact with digital identities.☆201Updated this week
- IPFS Storage service with search capability☆246Jun 24, 2024Updated 2 years ago
- LaTeX package for typesetting pseudocode and cryptographic games☆195Nov 26, 2023Updated 2 years ago
- Attribute-based Encryption☆210Jul 31, 2020Updated 5 years ago