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
Sorting:
- A VSP; run your encrypted C code AS IS!☆115Updated 3 years ago
- Distributed search engine☆55Updated 6 years ago
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆18Updated 9 months ago
- ☆9Updated last year
- optimizing compiler for a subset of C language☆35Updated 5 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 5 years ago
- O(N log N)-space IPC solver in OCaml☆52Updated 2 years ago
- ☆38Updated 2 weeks ago
- Opcode / Instruction finder for x86_64☆70Updated last year
- Programming Language maxc☆37Updated 3 years ago
- Armv8 A64 Assembly & Intrinsics Guide Server☆25Updated last year
- seccamp2018 c compiler☆53Updated 2 years ago
- Udon C Compiler: C compiler for our original CPU☆82Updated 8 years ago
- A self hosted whitespace compiler☆32Updated 5 years ago
- C compiler + hikalium☆34Updated 4 years ago
- another abstraction layer for operating system developers☆11Updated 5 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 5 years ago
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- ☆30Updated last year
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- ☆28Updated 2 years ago
- 自作言語処理系のコンパイラ制作☆43Updated 6 years ago
- Crosscompiling SATySFi from Ubuntu to Windows☆16Updated 6 years ago
- ☆17Updated 3 years ago
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆400Updated 4 years ago
- A live programming environment specialized for data structure programming.☆69Updated 3 months ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 3 years ago
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- RISC-V Simulator written in Rust☆20Updated 5 years ago