Alternatives and similar repositories for everquic-crypto

Users that are interested in everquic-crypto are comparing it to the libraries listed below

• meiersi / scyther-proof

  View on GitHub
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆18Jun 21, 2015Updated 10 years ago
• robshahla / VisQUIC

  View on GitHub
  ☆17Jan 12, 2025Updated last year
• UTSASRG / FreeGuard

  View on GitHub
  ☆38Jan 4, 2018Updated 8 years ago
• piano-man / DPIFuzz

  View on GitHub
  A differential fuzzing framework for the QUIC protocol
  ☆19Nov 21, 2023Updated 2 years ago
• HVLearn / HVLearn

  View on GitHub
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Jun 10, 2017Updated 8 years ago
• jpcsmith / wf-in-the-age-of-quic

  View on GitHub
  This repository contains the code for the paper "Website Fingerprinting in the Age of QUIC" (PETS 2021).
  ☆22Jul 12, 2023Updated 2 years ago
• wtfpad / wtfpad

  View on GitHub
  Source code to simulate WTF-PAD on a set of web traffic traces.
  ☆25Jul 14, 2020Updated 5 years ago
• bitsecurerlab / afl-sensitive

  View on GitHub
  Sensitive and Collaborative Fuzzing with AFL
  ☆27Jul 29, 2019Updated 6 years ago
• 0xEigenLabs / eigen-prover

  View on GitHub
  Eigen zkVM's Proving Service
  ☆29Aug 24, 2025Updated 5 months ago
• michaelprabhuu / Custom-GPT-using-Open-AI-APIs

  View on GitHub
  Create a custom GPT for your organization with file search. This demo shows how to create an assistant, set up a vector store, upload and…
  ☆10May 23, 2024Updated last year
• GuildOfWeavers / AirAssembly

  View on GitHub
  Low-level language for encoding AIR of computations
  ☆38May 7, 2023Updated 2 years ago
• ISLOUC / Conferences-And-Journals

  View on GitHub
  CCF推荐列表的会议征稿信息（计算机系统相关）；SCI I区、II区期刊（系统与安全相关）
  ☆30Jun 13, 2019Updated 6 years ago
• badicsalex / json_schema_to_c

  View on GitHub
  JSON Schema to C parser generator
  ☆10Dec 4, 2022Updated 3 years ago
• alchemyplatform / netlify-alchemy-nft-explorer-template

  View on GitHub
  ☆11May 8, 2023Updated 2 years ago
• kamel78 / DBPL

  View on GitHub
  Bilinear Pairings Components Library for Delphi
  ☆12Dec 19, 2018Updated 7 years ago
• ThalesGroup / kessler-game

  View on GitHub
  Kessler is a simulation environment loosely modeled after our internal project PsiBee and the external project Fuzzy Asteroids. The game …
  ☆15Aug 13, 2025Updated 6 months ago
• beaujeant / appsec101

  View on GitHub
  ☆10Jun 16, 2021Updated 4 years ago
• ElNiak / PANTHER

  View on GitHub
  This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy …
  ☆41Feb 4, 2026Updated last week
• ia-flash / matchvec

  View on GitHub
  Reconnaître la marque/modèle des véhicules dans une image
  ☆11Mar 31, 2023Updated 2 years ago
• manganese / TracingTransactionsAcrossCryptocurrencyLedgers

  View on GitHub
  Code for Tracing Transactions Across Cryptocurrency Ledgers (which focuses on ShapeShift)
  ☆11Oct 15, 2019Updated 6 years ago
• pondron / valid8r

  View on GitHub
  An open-source command line interface for linting your Ethereum 2.0 validator set up
  ☆14May 17, 2021Updated 4 years ago
• 18013-5 / micov

  View on GitHub
  mobile international certificate of vaccination
  ☆12Nov 9, 2021Updated 4 years ago
• proxima-one / keccak-circuit-benchmarks

  View on GitHub
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Oct 1, 2023Updated 2 years ago
• asonnino / fraudproofs-prototype

  View on GitHub
  Prototype of fraud proofs.
  ☆12Feb 13, 2022Updated 4 years ago
• humam-kourani / LLM-Process-Modeling

  View on GitHub
  ☆12Mar 9, 2024Updated last year
• chintran27 / CDStore

  View on GitHub
  Convergent Dispersal Deduplication Datastore
  ☆10Jan 21, 2016Updated 10 years ago
• mptcp-apps / mptcplib

  View on GitHub
  A Multipath TCP python support library 🐍
  ☆10Feb 5, 2023Updated 3 years ago
• easyuc / EasyUC

  View on GitHub
  Experiments with Universal Composability in EasyCrypt
  ☆43Feb 6, 2026Updated last week
• project-everest / everparse

  View on GitHub
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆304Updated this week
• codegen-sh / graph-sitter

  View on GitHub
  Scriptable interface to a powerful, multi-lingual language server
  ☆32Updated this week
• stresch / pingpong

  View on GitHub
  This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…
  ☆18Nov 24, 2017Updated 8 years ago
• openpnp / Smoothieware

  View on GitHub
  Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
  ☆10Jun 17, 2016Updated 9 years ago
• hugh-fox / astdot

  View on GitHub
  Prints a dot graph of a nim ast dumped using the `dumpTree` macro.
  ☆13Sep 18, 2022Updated 3 years ago
• thinkmoore / llvm-analysis

  View on GitHub
  Static analysis for llvm
  ☆20Mar 31, 2015Updated 10 years ago
• WenjianYu / rSVD-single-pass

  View on GitHub
  randomized SVD with single pass over data matrix
  ☆10Apr 23, 2023Updated 2 years ago
• TennisBowling / openexecution

  View on GitHub
  A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.
  ☆13Nov 30, 2025Updated 2 months ago
• xtensor-stack / xtensor-signal

  View on GitHub
  Signal processing features based on xtensor
  ☆12Nov 25, 2023Updated 2 years ago
• fingerprintability / fingerprintability

  View on GitHub
  Source code for the data collection and analysis used in the 'How unique is your onion?' project.
  ☆11Dec 15, 2017Updated 8 years ago
• yglukhov / nim-docker

  View on GitHub
  Auto-built docker image with latest Nim devel version
  ☆10Jul 21, 2023Updated 2 years ago