PQcrypt : The post-quantum cryptography tool.
☆44Mar 7, 2026Updated 6 months ago
Alternatives and similar repositories for pqcrypt
Users that are interested in pqcrypt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of guides for running various apps on Tails OS☆11Jan 26, 2026Updated 7 months ago
- A LALR(1) OpenQASM Parser and AST Generator.☆14Jul 29, 2024Updated 2 years ago
- Get advice for the best post-quantum cryptography algorithm for your use case☆18Jun 18, 2026Updated 3 months ago
- 🚀 Start projects fast simply cloning already created boilerplate repos☆13May 27, 2022Updated 4 years ago
- ☆15Jun 7, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Minimal and sleek Gatsby starter for personal websites and blogs☆10Jan 11, 2023Updated 3 years ago
- A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…☆14Apr 25, 2024Updated 2 years ago
- My personal site☆10Mar 1, 2026Updated 6 months ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- An Android application that detects phishing in incoming texts and alerts the user through notification in real time. The user may also e…☆20Feb 17, 2024Updated 2 years ago
- A verifier that integrates LLMs into automated C program verification☆17Apr 4, 2026Updated 5 months ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 5 months ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 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 Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- Various Telecom Security Related Presentations☆20Feb 12, 2019Updated 7 years ago
- A python library which simplifies creating and exporting videos.☆11Oct 1, 2023Updated 2 years ago
- Generate a TkInter GUI from simple Python programs.☆12Jun 28, 2022Updated 4 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated 2 years ago
- NACHO - National Automated Clearing House Objects, a C# library for the NACHA ACH input file structure☆14Aug 6, 2021Updated 5 years ago
- Workspace for storing data through Resource.☆10Apr 15, 2024Updated 2 years ago
- Simple Post Quantum File Encryption☆32Jun 26, 2025Updated last year
- This is the repository from which the Eleventy-generated version of https://www.brycewray.com formerly was built, later replaced by https…☆19Jan 12, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is script for Godot Engine, that validate JSON files by JSON Schema☆12Aug 28, 2020Updated 6 years ago
- ☆12Jan 20, 2026Updated 7 months ago
- Automated Clearing House (ACH) demo in ruby☆16Updated this week
- SWF file patcher. Works with a CLI and a pip package.☆13Jul 26, 2026Updated last month
- QIran's QProject101 (IR_QProject_101) is a 12 week long research program designed for the students and newcomers to the field of quantum …☆13Sep 17, 2024Updated 2 years ago
- MSIEVE: A Library for Factoring Large Integers☆17Apr 7, 2023Updated 3 years ago
- Python (.py) and Jupyter notebook (.ipynb) implementations of Grover's Algorithm aka Quantum Search Algorithm for n qubits and m targets.☆18Apr 30, 2026Updated 4 months ago
- Sample 11ty blog for workshops☆22Nov 8, 2021Updated 4 years ago
- Build your blog app with new Next.js 13 app folder and Contentlayer☆17May 3, 2023Updated 3 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.
- ☆17Updated this week
- The interface between probabilistic model checking and data-driven policy learning.☆20Sep 6, 2026Updated last week
- Course description: Physics +CS , it is the first term in a three-term course on quantum computation and quantum information science. Top…☆18Aug 12, 2026Updated last month
- Text encoding utilities for PHP with no extensions dependencies. Base32, Base58, Base64 and much more!☆12May 21, 2020Updated 6 years ago
- ☆31Dec 12, 2025Updated 9 months ago
- BehaVerify: A Formal Verification Tool for Behavior Trees☆27Aug 26, 2026Updated 3 weeks ago
- ROS 1 (Robot Operating System) bag reader and writer☆17Jan 8, 2025Updated last year