Alternatives and similar repositories for kvsp

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

• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆46Updated last year
• NextMicon / NextMiconIDE
  🛠️ Graphical IDE for NextMicon
  ☆28Updated last year
• shioyadan / advanced-computer-organization
  ☆161Updated 10 months ago
• atsisy / sloba
  Stacking List Oriented Basic Architecture Allocator
  ☆15Updated 6 years ago
• megumish / animo
  WWWを再構築するぞ！！！
  ☆15Updated 6 years ago
• msyksphinz-self / xv6_translate
  translation of XV6
  ☆49Updated 6 years ago
• caprese-project / caprese
  Caprese is a microkernel that protects resources with capability-based security.
  ☆18Updated last year
• tanakamura / pllp
  ☆63Updated 2 years ago
• hello31337 / BI-SGX
  Bioinformatic Interpreter with Intel SGX
  ☆22Updated 5 years ago
• d0iasm / vulbr
  Toy browser on single process / thread
  ☆32Updated 2 years ago
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆56Updated 2 years ago
• ciniml / seccamp_2022_riscv_cpu
  セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料
  ☆29Updated 11 months ago
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 4 years ago
• peta-okechan / xv6textjp
  xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの
  ☆28Updated 12 years ago
• shibatchii / RISC-V
  RISC-V documentation transrate to Japanese.
  ☆73Updated 3 years ago
• sozysozbot / 2kmcc
  ☆28Updated 2 years ago
• gmo-ierae / low-latency-crypto-areion
  This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.
  ☆18Updated 3 weeks ago
• acompany-develop / QuickMPC
  A practical engine for Secure Multiparty Computation (SMPC).
  ☆33Updated 3 months ago
• kuis-isle3sw / IoPLMaterials
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆167Updated 2 weeks ago
• sfc-rg / yokou-template
  RGの予稿テンプレート
  ☆20Updated 6 years ago
• VLSI-JP / VLSI-JP.github.io
  ☆24Updated last month
• horizon2038 / A9N
  A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.
  ☆42Updated 3 weeks ago
• uchan-nos / opela
  Operating and Language processing system
  ☆26Updated 3 years ago
• Miyoshi-Ryota / how-to-create-bgp
  作って学ぶルーティングプロトコル〜RustでBGPを実装〜
  ☆51Updated last year
• ushitora-anqou / write-your-llvm-backend
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43Updated 3 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• msyksphinz-self / support_ca_llvm_book
  ☆142Updated 11 months ago
• tenpoku1000 / tenpoku-book
  電子書籍： x64 UEFI 対応 OS 自作入門 https://tenpoku1000.gitbook.io/tenpoku-book/
  ☆49Updated 3 years ago
• bittn / bittn
  bittn compiler infrastructure
  ☆11Updated 4 years ago
• kametan0730 / curo
  A software router!
  ☆71Updated last year