Virtual Secure Platform Development Team

AlveoV80FANduct Public

virtualsecureplatform/AlveoV80FANduct's past year of commit activity

OpenSCAD 0 MIT 0 0 0 Updated Aug 25, 2026
XRT Public Forked from Xilinx/XRT
Run Time for AIE and FPGA based platforms

virtualsecureplatform/XRT's past year of commit activity

C 0 563 0 0 Updated Aug 25, 2026
Parameter-Selection Public
To determine TFHE's parameter, run lwe-estimator.

virtualsecureplatform/Parameter-Selection's past year of commit activity

Python 1 0 0 0 Updated Aug 25, 2026
TFHEpp Public
Pure C++ Ver. of TFHE.

virtualsecureplatform/TFHEpp's past year of commit activity

C++ 112 Apache-2.0 20 1 0 Updated Aug 25, 2026
FormalProof4FHE Public
Lean proofs for FHE

virtualsecureplatform/FormalProof4FHE's past year of commit activity

Lean 0 MIT 0 0 0 Updated Aug 24, 2026
SGen Public Forked from fserre/SGen
SGen is a generator capable of producing efficient hardware designs operating on streaming datasets.

virtualsecureplatform/SGen's past year of commit activity

VHDL 0 GPL-3.0 3 0 0 Updated Aug 22, 2026
kvsp Public
A VSP; run your encrypted C code AS IS!

virtualsecureplatform/kvsp's past year of commit activity

Shell 119 7 0 0 Updated Aug 22, 2026
NGen Public
NTT genertor based on SGen architecture

virtualsecureplatform/NGen's past year of commit activity

Scala 0 GPL-3.0 0 0 0 Updated Aug 22, 2026
Tangor Public
PoC of StarPU based Iyokan

virtualsecureplatform/Tangor's past year of commit activity

Verilog 0 Apache-2.0 0 0 0 Updated Aug 21, 2026
Iyokan Public
Generic engine to evaluate logical circuits on homomorphic encryption

virtualsecureplatform/Iyokan's past year of commit activity

C++ 83 Apache-2.0 1 0 1 Updated Aug 21, 2026

View all repositories

Navigation Menu

Uh oh!

Uh oh!

Virtual Secure Platform Development Team

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!