Alternatives and similar repositories for kvsp

Users that are interested in kvsp are comparing it to the libraries listed below

• hello31337 / BI-SGX
  Bioinformatic Interpreter with Intel SGX
  ☆22Updated 5 years ago
• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆46Updated last year
• megumish / animo
  WWWを再構築するぞ！！！
  ☆15Updated 6 years ago
• shioyadan / advanced-computer-organization
  ☆162Updated 11 months ago
• NextMicon / NextMiconIDE
  🛠️ Graphical IDE for NextMicon
  ☆28Updated last year
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 6 months ago
• acompany-develop / QuickMPC
  A practical engine for Secure Multiparty Computation (SMPC).
  ☆35Updated 4 months ago
• VLSI-JP / VLSI-JP.github.io
  ☆25Updated 3 weeks ago
• tanakamura / pllp
  ☆63Updated 2 years ago
• msyksphinz-self / xv6_translate
  translation of XV6
  ☆49Updated 6 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 3 years ago
• sozysozbot / 2kmcc
  ☆29Updated 2 years ago
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆56Updated 3 years ago
• ciniml / seccamp_2022_riscv_cpu
  セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料
  ☆29Updated 11 months ago
• atsisy / sloba
  Stacking List Oriented Basic Architecture Allocator
  ☆15Updated 6 years ago
• d0iasm / vulbr
  Toy browser on single process / thread
  ☆32Updated 3 years ago
• ushitora-anqou / write-your-llvm-backend
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43Updated 3 years ago
• alphaKAI / cr0cd
  CR0.CD manipulate Linux Kernel Module as a proc filesystem
  ☆19Updated 6 years ago
• herumi / blog
  ☆38Updated last week
• shibatchii / RISC-V
  RISC-V documentation transrate to Japanese.
  ☆73Updated 3 years ago
• gfngfn / cs-thesis
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Updated 6 years ago
• caprese-project / caprese
  Caprese is a microkernel that protects resources with capability-based security.
  ☆18Updated last year
• seccamp / seccamp.jp
  Unofficial website of security camp
  ☆12Updated 11 months ago
• ShinyaKato / thompson_hack
  ☆41Updated 6 years ago
• goatx / goat
  ☆52Updated last week
• virtualsecureplatform / Iyokan
  Generic engine to evaluate logical circuits on homomorphic encryption
  ☆83Updated 3 weeks ago
• virtualsecureplatform / V2TT
  This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.
  ☆18Updated 5 years ago
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 4 years ago
• devreplay / devreplay
  A linter that replays your developing style
  ☆46Updated last year
• horizon2038 / A9N
  A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.
  ☆43Updated 2 weeks ago