momalab / cryptoleqLinks
Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
☆31Updated last year
Alternatives and similar repositories for cryptoleq
Users that are interested in cryptoleq are comparing it to the libraries listed below
Sorting:
- Repository for the current status of the LESS submission☆14Updated this week
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- An online Verilog IDE based on YosysJS.☆24Updated 10 years ago
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated 2 years ago
- a simple C-to-Verilog compiler☆51Updated 8 years ago
- A bitsliced implementation of ECB and CTR AES☆54Updated last year
- RISC-V Instruction Set Metadata☆42Updated 7 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- The GNU Superoptimizer☆27Updated 11 years ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Updated 6 years ago
- A bit-serial CPU☆19Updated 6 years ago
- The Antikernel operating system project☆120Updated 5 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆60Updated 6 years ago
- Verilog implementation of the 32-bit version of the Blake2 hash function☆21Updated last month
- This is a higan/Verilator co-simulation example/framework☆51Updated 7 years ago
- 64-bit MISC Architecture CPU☆13Updated 9 years ago
- A programming language to write bitsliced ciphers☆59Updated last year
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 8 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 8 years ago
- SAT-based Bitcoin Mining☆89Updated 4 years ago
- An AES-based 384 bit permutation.☆21Updated 9 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- MRSIC32 ISA documentation and development☆91Updated 2 years ago
- x86 assembler in 512 bytes of x86 machine code☆38Updated 6 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆54Updated 4 years ago
- A Verilog Synthesis Regression Test☆37Updated 3 weeks ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated 2 years ago