-
LambdaIFCStar Public
Forked from Gradual-Typing/LambdaIFCStarThe Agda mechanization of a gradual security-typed programming language with general mutable references.
Agda UpdatedMay 24, 2024 -
rusty-unit Public
Forked from foxycom/rusty-unitRustyUnit - automated generator of test suites for Rust crates
C UpdatedSep 18, 2022 -
PalmTree Public
Forked from palmtreemodel/PalmTreeOffical Implementation for PalmTree
Python MIT License UpdatedAug 2, 2022 -
Tai-e-assignments Public
Forked from pascal-lab/Tai-e-assignmentsTai-e assignments for static program analysis
Java GNU Lesser General Public License v3.0 UpdatedApr 24, 2022 -
PythonDataScienceHandbook Public
Forked from jakevdp/PythonDataScienceHandbookPython Data Science Handbook: full text in Jupyter Notebooks
Jupyter Notebook Other UpdatedApr 14, 2022 -
icse22ae-kani Public
Forked from avanhatt/icse22ae-kaniKani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
Python MIT License UpdatedFeb 15, 2022 -
free-data-science-learning Public
Forked from LearnDataSci/free-data-science-learningUpdatedDec 10, 2021 -
rust-mir-checker Public
Forked from lizhuohua/rust-mir-checkerRust GNU General Public License v3.0 UpdatedOct 25, 2021 -
CryptoAPI-Bench Public
Forked from CryptoAPI-Bench/CryptoAPI-BenchJava MIT License UpdatedJan 22, 2021 -
Grokking-Deep-Learning Public
Forked from iamtrask/Grokking-Deep-Learningthis repository accompanies the book "Grokking Deep Learning"
Jupyter Notebook UpdatedNov 20, 2020 -
-
jupyter-text2code Public
Forked from deepklarity/jupyter-text2codeJupyter Notebook MIT License UpdatedSep 8, 2020 -
eran Public
Forked from eth-sri/eranETH Robustness Analyzer for Deep Neural Networks
Python Apache License 2.0 UpdatedJul 27, 2020 -
MIPVerify.jl Public
Forked from vtjeng/MIPVerify.jlEvaluating Robustness of Neural Networks with Mixed Integer Programming
Julia Other UpdatedJul 20, 2020 -
Graph-Adversarial-Learning Public
Forked from EdisonLeeeee/Graph-Adversarial-LearningA curated collection of adversarial attack and defense on graph data.
GNU General Public License v3.0 UpdatedJul 13, 2020 -
StructuredRegex Public
Forked from xiye17/StructuredRegexData and Code for StructuredRegex.
Python UpdatedJun 23, 2020 -
BayesOpt_Attack Public
Forked from rubinxin/BayesOpt_AttackTargeted black-box adversarial attack using Bayesian Optimization
Python MIT License UpdatedJun 14, 2020 -
softregex Public
Forked from jacger2/softregexThis is implemantation of the paper SoftRegex: Generating Regex from Natural Language Descriptions using Softened Regex Equivalence [EMNLP 2019]
Python UpdatedJun 10, 2020 -
jpor_codes Public
Forked from chkwon/jpor_codesCodes for the book "Julia Programming for Operations Research"
Julia UpdatedMay 1, 2020 -
NeuralVerification.jl Public
Forked from sisl/NeuralVerification.jlMethods to soundly verify deep neural networks
Julia MIT License UpdatedMar 17, 2020 -
ReluVal Public
Forked from tcwangshiqi-columbia/ReluValThe released code of ReluVal in USENIX Security 2018
C Other UpdatedMar 4, 2020 -
DeepGO Public
Forked from TrustAI/DeepGOReachability Analysis of Deep Neural Networks with Provable Guarantees
MATLAB BSD 3-Clause "New" or "Revised" License UpdatedFeb 25, 2020 -
articles Public
Forked from LearnDataSci/articlesA repository for the source code, notebooks, data, files, and other assets used in the data science and machine learning articles on LearnDataSci
Jupyter Notebook UpdatedJan 15, 2020 -
lstar_extraction Public
Forked from tech-srl/lstar_extractionimplementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
Jupyter Notebook UpdatedDec 3, 2019 -
-
pyre-check Public
Forked from facebook/pyre-checkPerformant type-checking for python.
OCaml MIT License UpdatedAug 22, 2019 -
pldi19-equivalence-checker Public
Forked from bchurchill/pldi19-equivalence-checkerSource code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
-
libsignal-protocol-javascript Public
Forked from signalapp/libsignal-protocol-javascriptSignal Protocol library for JavaScript
JavaScript GNU General Public License v3.0 UpdatedJun 28, 2019 -
ReScue Public
Forked from 2bdenny/ReScueAn automated tool for the detection of regexes' slow-matching vulnerabilities.
Java GNU General Public License v2.0 UpdatedJun 3, 2019 -
mypy Public
Forked from python/mypyOptional static typing for Python 3 and 2 (PEP 484)
Python Other UpdatedMay 23, 2019