Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
☆31Aug 20, 2024Updated last year
Alternatives and similar repositories for cryptoleq
Users that are interested in cryptoleq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bootable emulator for the Dawn Operating System for x86.☆41Jan 10, 2026Updated 5 months ago
- Superoptimizer using the z3 SMT solver☆17Nov 1, 2025Updated 8 months ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated last year
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated 2 years ago
- a simple operating system☆10May 10, 2015Updated 11 years 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.
- The Chronos FPGA Framework to accelerate ordered applications☆22May 20, 2020Updated 6 years ago
- This sample code demonstrates a password manager utilizing Intel SGX.☆34Jul 14, 2016Updated 9 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 3 years ago
- Extract Authenticode signature data from PE format file☆18Nov 17, 2019Updated 6 years ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆13Dec 11, 2021Updated 4 years ago
- Programmable persistent computers for Minecraft.☆15Feb 25, 2022Updated 4 years ago
- CoPHEE is a Co-processor for Partially Homomorphic Encrypted Encryption.☆36Feb 21, 2024Updated 2 years ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆59Dec 24, 2021Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 4 years 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.
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆23Aug 22, 2022Updated 3 years ago
- A simple transpiler that transforms your PHP file to C++ file.☆13Jun 16, 2016Updated 10 years ago
- old school bbs system, with a bell 202 style modem frontend☆12May 18, 2020Updated 6 years ago
- Synthesize Verilog to Minecraft redstone☆22Nov 9, 2024Updated last year
- An automatic place-and-route tool for Minecraft redstone circuits☆26Apr 1, 2016Updated 10 years ago
- ☆21Jan 25, 2018Updated 8 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 2 months ago
- Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data☆22Oct 13, 2022Updated 3 years ago
- The fastest krist miner in existence, with both GPU and CPU support☆20Feb 19, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- modularforcefieldsystem☆15Jan 29, 2023Updated 3 years ago
- Estimating hardware and cloud costs of LLMs and transformer projects☆22Apr 1, 2026Updated 3 months ago
- An experimental edge key-value database built on top of FoundationDB.☆11Jan 9, 2025Updated last year
- 16-bit SUBLEQ CPU running eForth - just for fun☆81Mar 22, 2026Updated 3 months ago
- CPU design and toolchain for a simple computer architecture☆133Jun 9, 2015Updated 11 years ago
- various toys in j☆12Apr 13, 2022Updated 4 years ago
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- x86 16-bit program drawing the heart curve equation☆17Feb 15, 2021Updated 5 years ago
- A minimal Z80 implementation.☆25Jan 29, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Go implementation of (MK)TFHE scheme☆40Jun 5, 2026Updated 3 weeks ago
- A single WebTorrent client shared by all web pages and workers☆33Aug 19, 2022Updated 3 years ago
- a small (~140 line) and portable 6502 emulator demo.☆19Jan 4, 2022Updated 4 years ago
- ☆10Jul 30, 2017Updated 8 years ago
- Esotope Brainfuck Compiler☆32Apr 24, 2026Updated 2 months ago
- A single-wire bi-directional chip-to-chip interface for FPGAs☆127Jul 7, 2016Updated 9 years ago
- Windows inject☆17Jun 7, 2018Updated 8 years ago