mmastrac / oblivious-cpu
A re-implementation of ShapeCPU
☆18Updated 2 years ago
Alternatives and similar repositories for oblivious-cpu:
Users that are interested in oblivious-cpu are comparing it to the libraries listed below
- Fully Homomorphic Brainfuck☆19Updated 6 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆28Updated 6 months ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 9 years ago
- OpenPGP Long Key ID Collider☆15Updated 5 years ago
- An Algebraic, Executable Ur Machine☆36Updated 6 years ago
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- Bootstrap compiler☆44Updated 5 years ago
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- An alternative to Urbit☆93Updated 7 years ago
- Place & Router for Minetest☆18Updated 2 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆50Updated 3 years ago
- Schrödinger's Tcl☆30Updated 9 years ago
- ☆44Updated 7 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆22Updated 8 years ago
- My blog — https://twilco.github.io☆11Updated 2 months ago
- A Python implementation of the SPHINCS-256 scheme☆14Updated 8 years ago
- Resource Aware, Recursive Virtual Machine☆10Updated 2 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Updated 5 years ago
- run z3 on iOS for some reason☆38Updated 2 years ago
- ☆30Updated 3 years ago
- A Qt5 based free VLSI development tool☆30Updated 6 years ago
- Spatial and Action Based Resolver☆13Updated 6 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Microphotography viewer based on Leaflet.js☆42Updated last year
- Haraka is a secure and efficient short-input hash function.☆55Updated 7 years ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 7 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago