virtualsecureplatform / V2TT
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 4 years ago
- ☆14Updated 5 years ago
- Open source RISC-V IP core for FPGA/ASIC design☆30Updated 10 months ago
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Updated 3 years ago
- Translation of http://chip-architect.com/news/2003_09_21_Detailed_Architecture_of_AMDs_64bit_Core.html☆11Updated 6 years ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの☆28Updated 11 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
- RISC-V (rv32imf) CPU implemented in System Verilog for cpuex2019 @ UTokyo☆13Updated 5 years ago
- C compiler + hikalium☆34Updated 4 years ago
- Simple RISC-V emulator☆16Updated 4 years ago
- ☆19Updated 4 years ago
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- Unofficial website of security camp☆11Updated 8 months ago
- Intermediate Representation Of Hardware Abstraction (LLVM-ish for HLS)☆35Updated 3 years ago
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- Tiny MIPS for Terasic DE0☆35Updated 11 years ago
- ☆41Updated 6 years ago
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated 9 months ago
- translation of XV6☆49Updated 6 years ago
- Karuta HLS Compiler: High level synthesis from prototype based object oriented script language to RTL (Verilog) aiming to be useful for F…☆105Updated 3 years ago
- Cyanurus is a Unix-like operating system for ARMv7-A☆48Updated 8 years ago
- ☆27Updated 7 years ago
- Constraint geometry processing language☆18Updated 5 years ago
- mruby running inside the bare-metal hypervisor☆19Updated 5 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 3 years ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- A CPU that executes brainf**k language. Can be synthesized on FPGA☆12Updated 7 years ago