Alternatives and similar repositories for cryptoleq:

Users that are interested in cryptoleq are comparing it to the libraries listed below

• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆56Updated 6 months ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆50Updated 7 years ago
• aengelke / raspsim
  Cycle-accurate X86-64 simulator based on PTLsim
  ☆30Updated last year
• CTSRD-CHERI / RVBS
  RISC-V BSV Specification
  ☆19Updated 5 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 8 months ago
• vscrypto / ringlwe
  A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…
  ☆36Updated 6 years ago
• foshardware / lsc
  Libre Silicon Compiler
  ☆23Updated 3 years ago
• maerhart / llhd
  A low-level intermediate representation for hardware description languages
  ☆28Updated 4 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆19Updated 5 years ago
• KestrelComputer / polaris
  RISC-V RV64IS-compatible processor for the Kestrel-3
  ☆21Updated 2 years ago
• SRI-CSL / l3riscv
  An executable specification of the RISCV ISA in L3.
  ☆41Updated 6 years ago
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆18Updated 3 years ago
• sbp / xoocycle
  Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction
  ☆10Updated 5 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 years ago
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆49Updated 7 months ago
• gokhankici / iodine
  Iodine: Verifying Constant-Time Execution of Hardware
  ☆12Updated 3 years ago
• marlls1989 / arv
  ARV: Asynchronous RISC-V Go High-level Functional Model
  ☆24Updated 3 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆77Updated last month
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• slh-dsa / sloth
  SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator
  ☆27Updated last week
• AsmOptC-RiscV / Assembly-Optimized-C-RiscV
  ☆15Updated 4 years ago
• ducky64 / chisualizer
  Block-diagram style digital logic visualizer
  ☆23Updated 9 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆29Updated 5 years ago
• daniellustig / coatcheck
  COATCheck
  ☆13Updated 6 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆20Updated 8 years ago
• meelgroup / arjun
  CNF minimizer and minimal independent set calculator
  ☆18Updated this week
• dansarie / sboxgates
  Program for finding low gate count implementations of S-boxes.
  ☆39Updated 5 months ago
• msoeken / kitty
  C++ truth table library
  ☆52Updated 11 months ago