virtualsecureplatform/kvsp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

virtualsecureplatform/kvsp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/virtualsecureplatform/kvsp)

Close

virtualsecureplatform / kvspView on GitHubMore

• External links
• Readme badge

A VSP; run your encrypted C code AS IS!

☆118Updated this week

Alternatives and similar repositories for kvsp

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

• virtualsecureplatform / Iyokan

  View on GitHub
  Generic engine to evaluate logical circuits on homomorphic encryption
  ☆83Feb 10, 2026Updated 2 weeks ago
• cispa / full-domain-functional-bootstrap

  View on GitHub
  ☆14Feb 11, 2022Updated 4 years ago
• Sabaniki / bg-switcher

  View on GitHub
  ☆10Aug 12, 2022Updated 3 years ago
• ushitora-anqou / write-your-llvm-backend

  View on GitHub
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43May 12, 2022Updated 3 years ago
• devreplay / devreplay

  View on GitHub
  A linter that replays your developing style
  ☆47Oct 24, 2023Updated 2 years ago
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• virtualsecureplatform / TFHEpp

  View on GitHub
  Pure C++ Ver. of TFHE.
  ☆103Updated this week
• tenpoku1000 / tenpoku-book

  View on GitHub
  電子書籍： x64 UEFI 対応 OS 自作入門 https://tenpoku1000.gitbook.io/tenpoku-book/
  ☆50Sep 5, 2021Updated 4 years ago
• SECCON / Beginners_CTF_2020

  View on GitHub
  ☆37Oct 4, 2020Updated 5 years ago
• nkon / ked-texteditor

  View on GitHub
  simple text editor using rust language.
  ☆14Apr 13, 2020Updated 5 years ago
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• gfngfn / cs-thesis

  View on GitHub
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Sep 13, 2018Updated 7 years ago
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Feb 14, 2026Updated 2 weeks ago
• puripuri2100 / mdbook-satysfi

  View on GitHub
  A mdbook backend for generating SATySFi documents.
  ☆19Feb 5, 2023Updated 3 years ago
• TrustworthyComputing / REDcuFHE

  View on GitHub
  Multi-GPU acceleration for Fully Homomorphic Encryption
  ☆21Jun 3, 2024Updated last year
• fairmath / polycircuit

  View on GitHub
  Polycircuit is an FHE components library built via FHERMA competitions
  ☆21Jul 10, 2025Updated 7 months ago
• pq-crypto / vpqc

  View on GitHub
  processor for post-quantum cryptography
  ☆17Apr 17, 2020Updated 5 years ago
• virtualsecureplatform / V2TT

  View on GitHub
  This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.
  ☆18Apr 25, 2020Updated 5 years ago
• coord-e / mlml

  View on GitHub
  self-hosted compiler for a subset of OCaml
  ☆51Jun 12, 2019Updated 6 years ago
• wejournal / lamb

  View on GitHub
  A statically typed and lazy evaluated implementation of Lambda Calculus.
  ☆21Sep 15, 2018Updated 7 years ago
• k16shikano / markdown-tex

  View on GitHub
  markdown processor in TeX
  ☆19May 13, 2021Updated 4 years ago
• JEEBIS27 / Plover_Mejiro

  View on GitHub
  メジロ式速記
  ☆18Updated this week
• hikalium / compilium

  View on GitHub
  C compiler + hikalium
  ☆34Oct 24, 2020Updated 5 years ago
• heir-compiler / HEIR

  View on GitHub
  ☆36Aug 20, 2023Updated 2 years ago
• castaneai / apubhook

  View on GitHub
  Incoming Webhook-like server for ActivityPub.
  ☆25Jul 10, 2023Updated 2 years ago
• kinoshita-lab / MIDI-UART-interface-san

  View on GitHub
  Handy interface PCB for MIDI and microcontrollers.
  ☆11Mar 18, 2025Updated 11 months ago
• pezy-computing / pzbcm

  View on GitHub
  Basic Common Modules
  ☆46Dec 13, 2025Updated 2 months ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• koba-e964 / min-caml-rust

  View on GitHub
  A min-caml port to Rust
  ☆26Feb 8, 2025Updated last year
• shinchoku-tairiku / shinchoku-tairiku.satyh

  View on GitHub
  進捗大陸で使用されたSATySFiファイル
  ☆12May 22, 2023Updated 2 years ago
• shirakawayohane / hirou_compiler

  View on GitHub
  疲労困憊していても書ける優しいプログラミング言語のコンパイラ
  ☆11Dec 25, 2025Updated 2 months ago
• nebuta / bucklescript-jquery

  View on GitHub
  BuckleScript binding for JQuery
  ☆10Nov 1, 2017Updated 8 years ago
• Fadis / slce

  View on GitHub
  Standard Library Concepts Emulation
  ☆14Feb 8, 2021Updated 5 years ago
• yabaitechtokyo / satysfi-derive

  View on GitHub
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Jan 2, 2021Updated 5 years ago
• KAIST-CryptLab / RtF-Transciphering

  View on GitHub
  A library for lattice-based homomorphic encryption in Go
  ☆14May 15, 2022Updated 3 years ago
• primenumber / kazoeage-oneesan-cuda

  View on GitHub
  GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)
  ☆11Dec 3, 2021Updated 4 years ago
• hcrypt-project / obliviousJ

  View on GitHub
  Implements an encryptable machine (shapeCPU Java)
  ☆11Aug 26, 2015Updated 10 years ago
• isec-tugraz / hybrid-HE-framework

  View on GitHub
  ☆45Nov 27, 2024Updated last year
• hikalium / liumos

  View on GitHub
  A toy operating system which supports NVDIMM natively.
  ☆276Jun 6, 2022Updated 3 years ago