Stars
The AI Incident Database seeks to identify, define, and catalog artificial intelligence incidents.
An incremental parsing system for programming tools
A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
The Digital Standard is an ambitious, community-led effort to build a framework to test and rate products and services on the basis of privacy, security, and data practices.
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
OpenSSF Scorecard - Security health metrics for Open Source
This repository is currently only used for issue tracking for www.regex101.com
A small example on how to use a custom coverage/progress metric for AFL. Based on the llvm_mode from AFL.
Tools and standards for conducting and evaluating research in software engineering
F´ - A flight software and embedded systems framework
The December, 2020 [Advent of Code](https://adventofcode.com)
A curated list of articles that cover the software engineering best practices for building machine learning applications.
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
The Data Linter identifies potential issues (lints) in your ML training data.
Data and Code for Reproducing "Global Relational Models of Source Code"
High-performance .NET regex engine with predictable performance
Model Reconstruction Team for TensorFlow 2.x Model Garden
Randomly generates GraphQL queries from a GraphQL schema