virtualsecureplatform / Iyokan
Generic engine to evaluate logical circuits on homomorphic encryption
☆80Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for Iyokan
- A VSP; run your encrypted C code AS IS!☆114Updated 3 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 5 years ago
- ☆27Updated last year
- ☆65Updated last year
- ☆17Updated 3 years ago
- O(N log N)-space IPC solver in OCaml☆52Updated last year
- optimizing compiler for a subset of C language☆34Updated 5 years ago
- C++11TMP compile time C compiler☆27Updated 6 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆44Updated 2 years ago
- Armv8 A64 Assembly & Intrinsics Guide Server☆25Updated last year
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆17Updated 3 months ago
- RISC-V Simulator written in Rust☆20Updated 4 years ago
- ☆59Updated 2 weeks ago
- Distributed search engine☆55Updated 5 years ago
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- ☆36Updated this week
- Stacking List Oriented Basic Architecture Allocator☆15Updated 5 years ago
- A toy JVM on Web Browser implemented by Rust☆61Updated last year
- ☆11Updated 7 years ago
- C++ Monadologie☆26Updated 3 years ago
- C compiler + hikalium☆35Updated 4 years ago
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆396Updated 3 years ago
- seccamp2018 c compiler☆53Updated 2 years ago
- Describe stencil formurae without even translating them☆16Updated 5 years ago
- Crosscompiling SATySFi from Ubuntu to Windows☆16Updated 6 years ago
- Udon C Compiler: C compiler for our original CPU☆82Updated 7 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 5 years ago
- A self hosted whitespace compiler☆32Updated 4 years ago
- another abstraction layer for operating system developers☆11Updated 4 years ago