ACVP Proxy for accessing the NIST ACVP server for testing cryptographic implementations
☆19May 4, 2026Updated 2 weeks ago
Alternatives and similar repositories for acvpproxy
Users that are interested in acvpproxy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python wrapper for extracting information from Scirate☆13Jul 21, 2023Updated 2 years ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆13Dec 11, 2021Updated 4 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆69Mar 26, 2026Updated last month
- Functions for simulatin quantum computing in GNU Octave and Matlab☆13Feb 22, 2022Updated 4 years ago
- CPU Profiling support for Kadira☆14Oct 26, 2018Updated 7 years ago
- 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.
- Applied Symbolic Execution with KLEE/LLVM☆24Jun 7, 2013Updated 12 years ago
- SublimeLinter 3 plugin for Haml, using haml -c.☆14Apr 24, 2025Updated last year
- Vim plugin for Bluespec SystemVerilog (BSV)☆12Nov 8, 2020Updated 5 years ago
- ISARA Radiate Quantum-safe Library Samples☆17Apr 21, 2023Updated 3 years ago
- Conic solver for optimization problems in quantum information theory☆26Apr 20, 2025Updated last year
- Chef Cookbook for Configuring Docker Swarm Nodes☆10Jun 25, 2016Updated 9 years ago
- Dockerfile and docker-compose file for running a simple Cassandra cluster☆14Apr 21, 2015Updated 11 years ago
- Simple python implementation of Scott Aaronson et al's CHP simulator.☆19Jul 3, 2019Updated 6 years ago
- The xenBackup script helps implement a xen backup strategy. It automates the backup of single or multiple xen guests using one of three b…☆20Oct 27, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A tool written in python which will seamlessly migrate network traffic away from transit-vpc to AWS Transit Gateway☆12Apr 10, 2019Updated 7 years ago
- A knife plugin to manage topologies of nodes☆14Apr 18, 2016Updated 10 years ago
- Moment: A moment matrix toolkit☆17Oct 29, 2024Updated last year
- Welly exported from code.google.com/p/welly☆11Sep 22, 2017Updated 8 years ago
- Gadgets used to display current TestRail data for projects, milestones, test plans, and test runs on JIRA dashboards.☆13Sep 27, 2017Updated 8 years ago
- Julia codes for randomized measurements☆26Updated this week
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆22Dec 30, 2021Updated 4 years ago
- Quantum Oracle Sketching: enable access to the classical world in quantum superposition for large-scale machine learning.☆93Apr 10, 2026Updated last month
- Example of how to use poetry and sphinx in cython package☆25Aug 21, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Deprecated. I now use https://github.com/wercker/stern☆15Jun 4, 2018Updated 7 years ago
- Litani metabuild system☆21Jun 12, 2023Updated 2 years ago
- An educational tool to the introduction of Quantum Error Correction (QEC)☆26Mar 1, 2026Updated 2 months ago
- NPA in Julia☆26Nov 19, 2025Updated 6 months ago
- Helps you replace text and lines in files from Chef recipes.☆20Mar 6, 2018Updated 8 years ago
- a simple Chef profiler for reporting how long each recipe took to execute☆33Apr 3, 2015Updated 11 years ago
- Practical Ansible: A Top-down Introduction (Ansible 實戰：Top-down 觀點).☆17Oct 24, 2015Updated 10 years ago
- Chef reference architecture cookbook☆11Jan 16, 2019Updated 7 years ago
- API Blueprint AST Serialization Media Types [adhd, apib]☆32Mar 31, 2017Updated 9 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.
- Bidding assistant for COSCUP 2015☆16Aug 16, 2015Updated 10 years ago
- Terraform configurations for bootstrapping a CloudFoundry environment on Oracle Cloud Infrastructure☆14Mar 18, 2019Updated 7 years ago
- Reflection API for SystemVerilog☆14Mar 30, 2026Updated last month
- Vim zh-hant community website☆19Sep 1, 2020Updated 5 years ago
- Implementations of the Inflation Technique for Causal Inference.☆31Jan 8, 2026Updated 4 months ago
- The Continuous Delivery Foundation (CD.Foundation) Charter☆18Jun 2, 2023Updated 2 years ago
- Omnibus packaging for Chef☆75Jan 12, 2016Updated 10 years ago