virtualsecureplatform / V2TTLinks
This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.
☆18Updated 5 years ago
Alternatives and similar repositories for V2TT
Users that are interested in V2TT are comparing it to the libraries listed below
Sorting:
- Instruction set simulator for RISC-V☆53Updated 5 years ago
- translation of XV6☆49Updated 6 years ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの☆28Updated 12 years ago
- Tiny MIPS for Terasic DE0☆36Updated 11 years ago
- RISC-V (rv32imf) CPU implemented in System Verilog for cpuex2019 @ UTokyo☆13Updated 5 years ago
- ☆41Updated 6 years ago
- ☆63Updated 2 years ago
- Constraint geometry processing language☆18Updated 5 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 6 years ago
- Cyanurus is a Unix-like operating system for ARMv7-A☆48Updated 8 years ago
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Updated 3 years ago
- seccamp2018 c compiler☆56Updated 2 years ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 3 years ago
- Unofficial website of security camp☆12Updated 11 months ago
- Translation of http://chip-architect.com/news/2003_09_21_Detailed_Architecture_of_AMDs_64bit_Core.html☆11Updated 6 years ago
- 電子書籍: x64 UEFI 対応 OS 自作入門 https://tenpoku1000.gitbook.io/tenpoku-book/☆49Updated 3 years ago
- ☆18Updated 5 months ago
- RISC-V Simulator written in Rust☆20Updated 5 years ago
- C compiler + hikalium☆34Updated 4 years ago
- ☆29Updated 2 years ago
- ☆25Updated 3 weeks ago
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆122Updated 3 weeks ago
- RGの予稿テンプレート☆20Updated 6 years ago
- Raspberry Pi version of Haribote OS☆57Updated 7 years ago
- RISC-V Software Simulation☆20Updated 6 years ago
- Emelio interpreter written in C++☆34Updated 4 years ago