-
-
-
-
-
lean-mlir Public
Forked from opencompl/lean-mlirA minimal development of SSA theory
Lean Other UpdatedJun 7, 2025 -
-
-
heir Public
Forked from google/heirStandard MLIR dialects for homomorphic encryption
C++ Apache License 2.0 UpdatedMay 13, 2025 -
lean4web Public
Forked from leanprover-community/lean4webThe Lean 4 web editor
TypeScript Apache License 2.0 UpdatedMar 12, 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.
-
-
PINN-final-project Public
This is a final project artifact for MAS480<Introduction to Scientific Machine Learning>(Fall, 2022) in KAIST.
Jupyter Notebook UpdatedMar 29, 2024 -
openfhe-development Public
Forked from openfheorg/openfhe-developmentThis 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 UpdatedJan 21, 2024 -
-
-
-
SEAL Public
Forked from microsoft/SEALMicrosoft SEAL is an easy-to-use and powerful homomorphic encryption library.
C++ MIT License UpdatedSep 11, 2023 -
-
llvm-project Public
Forked from llvm/llvm-projectThe 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 UpdatedAug 28, 2023 -
HElib Public
Forked from homenc/HElibHElib 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 UpdatedJul 18, 2023 -
-
gloro Public
Forked from klasleino/gloroLibrary for training globally-robust neural networks.
Python MIT License UpdatedJun 22, 2023 -
-
-
mn-bab Public
Forked from eth-sri/mn-bab[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Python UpdatedJun 13, 2023 -
-
-
alpha-beta-CROWN Public
Forked from Verified-Intelligence/alpha-beta-CROWNalpha-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 UpdatedMar 26, 2023 -
docs Public
Forked from tensorflow/docsTensorFlow documentation
Jupyter Notebook Apache License 2.0 UpdatedMar 13, 2023
{{ message }}