-
-
Separation-Logic-Foundation Public
Volume 6. of Software Foundations
HTML MIT License UpdatedJul 21, 2023 -
-
-
-
-
Neko-lang Public
A toy functional programming language, named Neko
-
Stanford-Cryptography Public
optional programming assignment Standford CS255 introduction to cryptography
-
-
-
CS144-Computer-Networking Public
Stanford CS144 Introduction to Computer Networking Labs
-
-
PL0-Compiler Public
A simple compiler of toy language PL0, implemented in Haskell
-
Kmeans-parallel Public
A parallel implementation of Kmeans algorithm in Haskell
Haskell UpdatedAug 30, 2022 -
-
-
-
-
QCNN-robustness-verifier Public
An unqiue and effective to verify the robustness of quantum neural network through abstract interpretation
-
naive-assembly Public
An educational naive assembly language for the experiment of superoptimization
C++ UpdatedFeb 26, 2022 -
MindQuantum_QCNN_MNIST Public
An implementation of quantum convolutional neural network with MindQuantum. Huawei, classifying MNIST dataset
-
eran Public
Forked from eth-sri/eranETH Robustness Analyzer for Deep Neural Networks
Python Apache License 2.0 UpdatedNov 23, 2021 -
-
-
-
-
-
covid19_visualization Public
大一下js大作业
HTML BSD 3-Clause "New" or "Revised" License UpdatedMar 24, 2021 -
face_recognition Public
Forked from ageitgey/face_recognitionThe world's simplest facial recognition api for Python and the command line
Python MIT License UpdatedMar 20, 2021 -
stoke Public
Forked from StanfordPL/stokeSTOKE: A stochastic superoptimizer and program synthesizer
{{ message }}