wolvre

wolvre's Stars

• xairy/linux-kernel-exploitation

  A collection of links related to Linux kernel security and exploitation

  5.6k976

• mejbah/ACT-soft

  A machine learning based tool for production-run software failure diagnosis.

  Language:C++1

• fengjixuchui/BugDetectionPaper

  Recent Paper About Bug Detection

  299

• tehranixyz/DeepRace

  Language:C12

• bitzhangcy/Neural-PDE-Solver

  714105

• columbia/osdi23-paper114-ae

  Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".

  Language:LLVM9

• UoY-RoboStar/robochart-ann-components

  Software and implementation artefacts concerning the in development RoboChart artificial neural network components.

  Language:TeX1

• sctlprov/sctlprov_code

  An Implementation of the SCTL Proof System

  Language:OCaml21

• locuslab/fast_adversarial

  [ICLR 2020] A repository for extremely fast adversarial training using FGSM

  Language:Python42693

• centerforaisafety/tdc2023-starter-kit

  This is the starter kit for the Trojan Detection Challenge 2023 (LLM Edition), a NeurIPS 2023 competition.

  Language:Python7826

• sail-repos/PCR

  Achieving High MAP-Coverage through Pattern Constraint Reduction

  Language:Java3

• rb130/RaceBench

  Language:Python5

• puzhuoliu/Awesome-Fuzzing-Paper

  Recent Fuzzing Paper

  152

• SoftSec-KAIST/Fuzzing-Survey

  The Art, Science, and Engineering of Fuzzing: A Survey

  Language:JavaScript20623

• HalaMCF/paper

  1

• ivy-llc/ivy

  Convert Machine Learning Code Between Frameworks

  Language:Python14k5.8k

• MathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-Learning

  This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

  Language:MATLAB3.5k475

• massgravel/Microsoft-Activation-Scripts

  Open-source Windows and Office activator featuring HWID, Ohook, KMS38, and Online KMS activation methods, along with advanced troubleshooting.

  Language:Batchfile97.8k9.5k

• wcventure/ConcurrencyPaper

  Concurrency Paper

  8912

• anishathalye/porcupine

  A fast linearizability checker written in Go 🔎

  Language:Go88351

• ahorn/linearizability-checker

  Fast linearizability checker

  Language:C++653

• fairml-research/SRCVAE

  Fairness without the Sensitive Attribute via Causal Variational Autoencoder

  Language:Jupyter Notebook61

• nian-si/fair_HT

  ICML 2021 Testing Group Fairness via Optimal Transport Projections

  Language:Python11

• brandeis-machine-learning/awesome-ml-fairness

  Papers and online resources related to machine learning fairness

  656

• EqualityAI/EqualityML

  Evidence-based tools and community collaboration to end algorithmic bias, one data scientist at a time.

  Language:Jupyter Notebook343

• rjunderwood/avtestkit

  Metamorphic Testing Framework for Autonomous Vehicle System Autoware & Carla

  Language:Python6

• Xuran-LI/AccurateFairnessCriterion

  Code for Accurate Fairness: Improving Individual Fairness without Trading Accuracy

  Language:Python6

• Luigi-Crisci/BMC-Benchmark-Generator-LF

  Bounded model checking on lock free data structure

  Language:C24

• yongkaiwu/FairAI

  This is a collection of papers and other resources related to fairness.

  Language:HTML9119

• zxz2jj/CriticalTransformationRobustness

  An input transformation-based adversarial detection method

  Language:Python2