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
  ☆23Updated 5 years ago
• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆48Updated last year
• NextMicon / NextMiconIDE
  🛠️ Graphical IDE for NextMicon
  ☆28Updated last year
• megumish / animo
  WWWを再構築するぞ！！！
  ☆15Updated 7 years ago
• ushitora-anqou / write-your-llvm-backend
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43Updated 3 years ago
• shioyadan / advanced-computer-organization
  ☆186Updated last month
• atsisy / sloba
  Stacking List Oriented Basic Architecture Allocator
  ☆15Updated 7 years ago
• herumi / misc
  ☆62Updated this week
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆56Updated 3 years ago
• acompany-develop / QuickMPC
  A practical engine for Secure Multiparty Computation (SMPC).
  ☆36Updated 3 months ago
• msyksphinz-self / xv6_translate
  translation of XV6
  ☆49Updated 7 years ago
• virtualsecureplatform / V2TT
  This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.
  ☆18Updated 5 years ago
• shibatchii / RISC-V
  RISC-V documentation transrate to Japanese.
  ☆73Updated 4 years ago
• sfc-rg / yokou-template
  RGの予稿テンプレート
  ☆21Updated 7 years ago
• ciniml / seccamp_2022_riscv_cpu
  セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料
  ☆29Updated last year
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆19Updated last month
• sozysozbot / 2kmcc
  ☆30Updated 2 years ago
• virtualsecureplatform / Iyokan
  Generic engine to evaluate logical circuits on homomorphic encryption
  ☆83Updated 2 months ago
• tanakamura / pllp
  ☆63Updated 2 years ago
• peta-okechan / xv6textjp
  xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの
  ☆28Updated 12 years ago
• kuis-isle3sw / IoPLMaterials
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆168Updated 3 months ago
• caprese-project / caprese
  Caprese is a microkernel that protects resources with capability-based security.
  ☆19Updated last year
• gmo-ierae / low-latency-crypto-areion
  This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.
  ☆18Updated 7 months ago
• junkurihara / lecture-security_engineering
  Slide decks and sample codes for a lecture of "Security Engineering", which are composed in terms of how to choose and deploy appropriate…
  ☆29Updated this week
• YouyouCong / ppl-summer-school-2022
  ☆26Updated 3 years ago
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 5 years ago
• msyksphinz-self / swimmer_rust
  RISC-V Simulator written in Rust
  ☆20Updated 5 years ago
• bittn / bittn
  bittn compiler infrastructure
  ☆11Updated 5 years ago
• herumi / blog
  ☆39Updated last month
• horizon2038 / A9N
  A9N is a Capability-based Microkernel / Microhypervisor in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced …
  ☆52Updated 3 weeks ago