OpenSSF Security Tooling Working Group

❗ This is a read-only mirror of the CRAN R package repository. tmvtnorm — Truncated Multivariate Normal and Student t Distribution. Homepage: https://www.r-project.org

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Soufflé

A catch-all compile tool wrapper

Official Git mirror of the SQLite source tree

Insecure Programming by Example - Teach yourself how buffer overflows, format strings, numeric bugs, and other binary security bugs work and how to exploit them

The Racket repository

Typed Racket

Chrome extension to copy and paste pre-draft player rankings for Yahoo fantasy football

Library for interactive evaluation within a slide presentation

FreeBSD src tree

Stabilizer: Rigorous Performance Evaluation