virtualsecureplatform / IyokanLinks
Generic engine to evaluate logical circuits on homomorphic encryption
☆83Updated 2 months ago
Alternatives and similar repositories for Iyokan
Users that are interested in Iyokan are comparing it to the libraries listed below
Sorting:
- A VSP; run your encrypted C code AS IS!☆118Updated 2 months ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 6 years ago
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆403Updated 5 years ago
- ☆17Updated 4 years ago
- ☆39Updated last month
- C++11TMP compile time C compiler☆27Updated 8 years ago
- O(N log N)-space IPC solver in OCaml☆53Updated 2 years ago
- Describe stencil formurae without even translating them☆16Updated 6 years ago
- Crosscompiling SATySFi from Ubuntu to Windows☆16Updated 7 years ago
- optimizing compiler for a subset of C language☆35Updated 6 years ago
- C compiler + hikalium☆34Updated 5 years ago
- ☆62Updated last week
- Distributed search engine☆56Updated 6 years ago
- ☆30Updated 2 years ago
- RISC-V Simulator written in Rust☆20Updated 5 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 3 years ago
- Opcode / Instruction finder for x86_64☆79Updated 6 months ago
- A self hosted whitespace compiler☆32Updated 5 years ago
- ☆29Updated 2 years ago
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆18Updated 7 months ago
- WWWを再構築するぞ!!!☆15Updated 7 years ago
- The C3, SMT/SAT solver written in C.☆35Updated 5 months ago
- Udon C Compiler: C compiler for our original CPU☆85Updated 9 years ago
- A toy JVM on Web Browser implemented by Rust☆63Updated 3 years ago
- rcaml is an OCaml implementation in Rust☆63Updated 8 years ago
- ☆66Updated 2 years ago
- seccamp2018 c compiler☆56Updated 3 years ago
- A C-like language designed to help write brainf*ck☆14Updated 6 years ago
- ☆41Updated 7 years ago
- A programming language☆70Updated 2 years ago