virtualsecureplatform / Iyokan
Generic engine to evaluate logical circuits on homomorphic encryption
☆81Updated last year
Alternatives and similar repositories for Iyokan:
Users that are interested in Iyokan are comparing it to the libraries listed below
- A VSP; run your encrypted C code AS IS!☆115Updated 3 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 5 years ago
- RISC-V Simulator written in Rust☆20Updated 5 years ago
- ☆9Updated 11 months ago
- Udon C Compiler: C compiler for our original CPU☆82Updated 8 years ago
- O(N log N)-space IPC solver in OCaml☆52Updated last year
- ☆17Updated 3 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 2 years ago
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆18Updated 8 months ago
- seccamp2018 c compiler☆53Updated 2 years ago
- ☆28Updated 2 years ago
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- C++11TMP compile time C compiler☆27Updated 7 years ago
- Distributed search engine☆55Updated 6 years ago
- rcaml is an OCaml implementation in Rust☆62Updated 7 years ago
- ☆65Updated 2 years ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- A didactic on-disk key-value database management system.☆63Updated 3 years ago
- A toy JVM on Web Browser implemented by Rust☆62Updated 2 years ago
- ☆30Updated last year
- Text describing xv6 on RISC-V☆14Updated 4 years ago
- ☆14Updated 2 years ago
- Armv8 A64 Assembly & Intrinsics Guide Server☆25Updated last year
- ☆38Updated 3 weeks ago
- Materials for the class "Implementation of Programming Languages" in Kyoto University.☆162Updated 3 weeks ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Updated last year
- Opcode / Instruction finder for x86_64☆70Updated last year
- another abstraction layer for operating system developers☆11Updated 4 years ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Updated last year
- A programming language☆70Updated last year