Skip to content
View Maokami's full-sized avatar
9 followers · 16 following
  • Moreh
  • Seoul
  • 07:11 (UTC +09:00)

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report Maokami

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • heir Public

    Forked from google/heir

    Standard MLIR dialects for homomorphic encryption

    C++ Apache License 2.0 Updated Mar 5, 2025

  • lean-mlir Public

    Forked from opencompl/lean-mlir

    A minimal development of SSA theory

    Lean Other Updated Feb 28, 2025

  • zero2prod Public

    Rust Updated Feb 11, 2025

  • vqc_in_lean Public

    Lean 4 port of the Verified Quantum Computing. Developed as a personal learning project to deepen understanding of quantum computing concepts and formal verification.

    Lean 3 MIT License Updated Dec 31, 2024

  • apro Public

    Jupyter Notebook Updated Apr 2, 2024

  • PINN-final-project Public

    This is a final project artifact for MAS480<Introduction to Scientific Machine Learning>(Fall, 2022) in KAIST.

    Jupyter Notebook Updated Mar 29, 2024

  • openfhe-development Public

    Forked from openfheorg/openfhe-development

    This is the development repository for the OpenFHE library. The current pre-release version is v1.1.1 (released on August 23, 2023): clone it from the main branch. The current stable version is 1.0…

    C++ BSD 2-Clause "Simplified" License Updated Jan 21, 2024

  • HE-Library-z3 Public

    Python Updated Nov 15, 2023

  • Maokami Public

    Updated Oct 5, 2023

  • SEAL Public

    Forked from microsoft/SEAL

    Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

    C++ MIT License Updated Sep 11, 2023

  • openfhe-expaths Public

    HTML Updated Aug 31, 2023

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

    Other Updated Aug 28, 2023

  • HElib Public

    Forked from homenc/HElib

    HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

    C++ Other Updated Jul 18, 2023

  • Study Public

    Updated Jul 9, 2023

  • gloro Public

    Forked from klasleino/gloro

    Library for training globally-robust neural networks.

    Python MIT License Updated Jun 22, 2023

  • Grammar-Mutator-Lua Public

    Python Apache License 2.0 Updated Jun 20, 2023

  • Lua5.1gcov Public

    C Updated Jun 20, 2023

  • mn-bab Public

    Forked from eth-sri/mn-bab

    [ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

    Python Updated Jun 13, 2023

  • Lua-parser-generated Public

    C Updated Jun 12, 2023

  • he-dnn Public

    Jupyter Notebook Updated Mar 29, 2023

  • alpha-beta-CROWN Public

    Forked from Verified-Intelligence/alpha-beta-CROWN

    alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)

    Python BSD 3-Clause "New" or "Revised" License Updated Mar 26, 2023

  • docs Public

    Forked from tensorflow/docs

    TensorFlow documentation

    Jupyter Notebook Apache License 2.0 Updated Mar 13, 2023

  • Sunscreen Public

    Forked from Sunscreen-tech/Sunscreen

    A compiler for the BFV fully homomorphic encryption scheme

    Rust GNU Affero General Public License v3.0 Updated Jan 19, 2023

  • fhe-benchmarks Public

    Updated Jan 17, 2023

  • HECO Public

    Forked from MarbleHE/HECO

    Optimizing compiler for Fully Homomorphic Encryption (FHE)

    C++ MIT License Updated Nov 22, 2022

  • SoK Public

    Forked from MarbleHE/SoK

    Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.

    C++ Updated Nov 22, 2022

  • esmeta Public

    Forked from es-meta/esmeta

    ECMAScript Specification (ECMA-262) Metalanguage

    Scala BSD 3-Clause "New" or "Revised" License Updated Sep 4, 2022

  • rescript-compiler Public

    Forked from rescript-lang/rescript

    The compiler for ReScript.

    OCaml Other Updated Sep 4, 2022

  • res Public

    Scala Updated Aug 16, 2022

  • rescript-syntax Public

    Forked from rescript-lang/syntax

    ReScript's syntax as a standalone repo.

    OCaml MIT License Updated Jul 25, 2022