PQcrypt : The post-quantum cryptography tool.
☆44Mar 7, 2026Updated 5 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:
- Cross-platform Python library for Post-Quantum Cryptography using precompiled PQClean binaries☆55Jan 9, 2026Updated 7 months ago
- ScrapeAW is a framework that without API scrape IPs across the world using Shodan☆11May 16, 2024Updated 2 years ago
- My Portfolio build with Next JS, MUI, TypeScript, Planetscale, Prisma, Contentlayer and MDX☆14Mar 2, 2023Updated 3 years 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 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Unified Maude model-checking tool☆13Jul 29, 2026Updated last month
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 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
- Certora Init☆14Feb 13, 2025Updated last year
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- An Antlr4 Grammar for OPENQASM 2.0☆17Feb 21, 2018Updated 8 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- NextJS API Demo App☆11Mar 9, 2023Updated 3 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
- 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.
- A verifier that integrates LLMs into automated C program verification☆17Apr 4, 2026Updated 4 months ago
- ☆14Aug 30, 2024Updated 2 years ago
- A demo godot project which implements draw, eraser, and undo tool☆15Mar 4, 2020Updated 6 years ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆19Apr 7, 2026Updated 4 months ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- htop - an interactive process viewer | optimized builds☆14Jul 23, 2026Updated last month
- P2P Crypto based on cooperative consensus☆13Feb 18, 2023Updated 3 years ago
- ☆11Mar 14, 2023Updated 3 years ago
- Generate a TkInter GUI from simple Python programs.☆12Jun 28, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 以太坊靓号生成器 ethereum☆22Apr 15, 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
- PQC-LEO is a comprehensive benchmarking and evaluation framework for Post-Quantum Cryptography (PQC), built for researchers. Automates th…☆50Apr 14, 2026Updated 4 months ago
- Workspace for storing data through Resource.☆10Apr 15, 2024Updated 2 years ago
- 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
- Read the latest Arch Linux news in your terminal with a single command☆19Feb 16, 2026Updated 6 months ago
- This is script for Godot Engine, that validate JSON files by JSON Schema☆12Aug 28, 2020Updated 6 years ago
- A collection of awesome Wake tests including links to guides and more.☆17Jan 14, 2026Updated 7 months ago
- System Optimizer for Linux running on HDDs, written in Rust☆15Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Advanced Python Protection. A new tool for Python code obfuscation.☆13Jul 28, 2024Updated 2 years ago
- We want to create a dynamic monitoring and evaluation tool aims to check and test the resistance level or resilience of communication bet…☆16Mar 30, 2026Updated 5 months 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
- DeFiPy: Python SDK for Agentic DeFi☆20Jun 22, 2026Updated 2 months ago
- EgoXproject is an editor plugin for Unity. It automates Xcode project modification for iOS and tvOS projects.☆11Mar 10, 2019Updated 7 years ago
- Docker image for NS-3 Network Simulator v.3.30☆13Apr 11, 2021Updated 5 years ago