Alternatives and similar repositories for lc4-labs:

Users that are interested in lc4-labs are comparing it to the libraries listed below

• acmert / parametric-ntt
  Parametric NTT/INTT Hardware Generator
  ☆69Updated 4 years ago
• EECS150 / fpga_project_skeleton_fa22
  ☆13Updated 8 months ago
• Gy-Hu / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆69Updated last year
• alibaba-damo-academy / damo_ctl_cham
  ☆22Updated last year
• intel / hexl-fpga
  Intel Homomorphic Encryption Acceleration Library for FPGAs, including open source implementation of FPGA kernels for accelerating NTT, I…
  ☆99Updated 2 years ago
• fyquah / hardcaml_zprize
  Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…
  ☆54Updated 9 months ago
• xiang-rc / cfntt_ref
  ☆31Updated 8 months ago
• flokrieger / Aloha-HE
  ☆20Updated 7 months ago
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆77Updated last month
• arminbiere / aiger
  AIGER And-Inverter-Graph Library
  ☆69Updated 3 weeks ago
• KULeuven-COSIC / HEAT
  Repo for code developed during the HEAT project (Homomorphic Encryption Applications Technology)
  ☆59Updated 4 years ago
• DHLSan / FastHomNAND
  Acceleration of TFHE-based Homomorphic NAND Gate on FPGA
  ☆17Updated 3 years ago
• Zst0514 / Literatures-on-Homomorphic-Encryption
  A reading list for homomorphic encryption
  ☆13Updated 2 years ago
• florianhirner / proteus
  ☆14Updated last year
• EfficientFHE / SmartPAF
  ☆17Updated 11 months ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆90Updated 9 months ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆96Updated this week
• sxtyzhangzk / mips-cpu
  A MIPS CPU implemented in Verilog
  ☆67Updated 7 years ago
• SRI-CSL / NTT
  An Implementation of the Number Theoretic Transform
  ☆44Updated last year
• FPSG-UIUC / teaal-compiler
  ☆14Updated 5 months ago
• PolyArch / dsa-framework
  Release of stream-specialization software/hardware stack.
  ☆120Updated last year
• scalesim-project / scale-sim-v2
  Repository to host and maintain scale-sim-v2 code
  ☆279Updated last week
• momalab / CoPHEE
  CoPHEE is a Co-processor for Partially Homomorphic Encrypted Encryption.
  ☆31Updated last year
• BUAA-CI-LAB / Literatures-on-Homomorphic-Encryption
  A reading list for homomorphic encryption
  ☆120Updated 8 months ago
• bu-icsg / SimFHE
  ☆35Updated 7 months ago
• pq-crypto / vpqc
  processor for post-quantum cryptography
  ☆15Updated 4 years ago
• CMU-SAFARI / SoftMC
  SoftMC is an experimental FPGA-based memory controller design that can be used to develop tests for DDR3 SODIMMs using a C++ based API. T…
  ☆130Updated last year
• PrincetonUniversity / ILAng
  A Modeling and Verification Platform for SoCs using ILAs
  ☆75Updated 9 months ago
• PrincetonUniversity / IMDb-Archive
  ILA Model Database
  ☆22Updated 4 years ago
• MarbleHE / HECO
  Optimizing compiler for Fully Homomorphic Encryption (FHE)
  ☆72Updated 8 months ago