Popular repositories Loading

1. litmus litmus Public

   Reproducible benchmark for smart-contract security tools, measuring precision, recall, and false positives against executable PoCs and versioned ground truth.

   Solidity

2. HYPERION-DST HYPERION-DST Public

   Deterministic, crash-safe Raft reference implementation with io_uring/O_DIRECT storage, eBPF fault injection, DST, Jepsen/Knossos, and bounded TLA+ verification.

   Go

3. Openclaw-Atlas Openclaw-Atlas Public

   Deterministic evaluation harness for tool-using AI agents: canonical traces, fault injection, policy scoring, and evidence with negative controls.

   Python

4. Promtact Promtact Public

   Go

5. promtact-site promtact-site Public

   HTML

6. curl curl Public

   Forked from curl/curl

   A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTSP, SCP,…

   C