Pinned Loading

1. asgard asgard Public

   Hardware-partitioning technique for terabyte-scale bare-metal cloud servers using the Midgard address space.

   C++

2. zksnark-safety-verificator zksnark-safety-verificator Public

   Security verifier of zero-knowledge proofs using Gröbner bases built on top of the open-source Circom compiler.

   Rust

3. ceres ceres Public

   Turing-complete hobby programming language built in C++ using ANTLR and LLVM.

   C++

4. private-ads private-ads Public

   Privacy preserving targeted advertisement through Machine Learning prediction in an Intel SGX confidential blockchain.

   Vue 3

5. seq-align-accel seq-align-accel Public

   Genomic Sequence Alignment Hardware Accelerator written in Vivado HLS.

   Jupyter Notebook

6. idol idol Public

   Custom OpenGL Game Engine for learning purposes.

   C++ 1