New website written in Zola

A WIP property-based testing library in Rust, built with generalized targeted-property testing in mind.

ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of commands to manage your experiments, and results.

ETNA fork of chrono.git for PBT benchmarking

An introductory repo into property-based testing using a key value store example

Deriving a debugger from trace logs

kiku is a property-based testing library for Koka

Giving types to jq

Live demo of latex-diff-viewer — a tiny multi-page LaTeX paper with a curated commit history.

url with ETNA bug injections

ETNA workload fork of https://github.com/wrengr/bytestring-trie (QuickCheck + Hedgehog + Falsify + SmallCheck)

ETNA workload fork of https://github.com/quchen/prettyprinter (QuickCheck + Hedgehog + Falsify + SmallCheck)

ETNA fork of rstar.git for PBT benchmarking

ETNA fork of prost.git for PBT benchmarking

ETNA workload built from cedar-policy/cedar-spec: 9 mutation+property+witness atoms exercising Cedar-Lean's typechecker, validator, request-validator, level checker, and SymCC encoder.

compact_str with ETNA bug injections

itertools with ETNA bug injections

ICFP Programming Contest 2022 'mini-vinci' (RoboVinci) — revived for self-hosting on SQLite + Cloudflare R2/Pages + Fly.io