-
luzer Public
A coverage-guided, native Lua fuzzing engine.
-
lua-c-api-tests Public
Fuzzing Lua runtimes without pain
-
nanodata Public
Forked from tarantool/tarantoolNanodata, distributed in-memory database with plugins in Lua.
Lua Other UpdatedDec 16, 2025 -
lua-c-api-corpus Public
Lua C API seed corpus and dictionaries
-
-
litclock Public
A clock made with using time quotes from literature
-
fuzzingbook Public
Forked from uds-se/fuzzingbookProject page for "The Fuzzing Book"
Jupyter Notebook Other UpdatedOct 13, 2025 -
practical-fm Public
A gently curated list of companies using verification formal methods in industry
-
-
elle-cli Public
The command-line frontend to transactional consistency checkers for black-box databases
-
awesome-ttygames Public
Unix ASCII games
-
awesome-ci Public
The list of continuous integration services and tools
-
-
gromit Public
is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.
-
awesome-openbsd Public
The curated list of awesome OpenBSD resources
-
-
lua-c-manual-pages Public
Lua 5.1 C API manual pages
-
-
-
molly Public
Framework for distributed system's verification, with fault injection.
-
semgrep-rules Public
semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
-
-
swebok-2004-in-russian Public
Основы программной инженерии (SWEBOK 2004 на русском) в EPUB, FB2 и HTML
-
clojure-from-the-ground-up Public
Book about Clojure written by Kyle Kingsbury https://aphyr.com/tags/Clojure-from-the-ground-up, formatting and conversion to Markdown, EPUB and HTML by Sergey Bronnikov.
-
unreliablefs Public
A FUSE-based fault injection filesystem.
-
lark-grammars Public
Grammars suitable for lark parser and Hypothesis
-
libc-tests Public
A set of fuzzing tests intended for testing standard C library
-
-
pg_feedback Public
PostgreSQL Feedback Plugin
-
packetdrill-testcases Public archive
packetdrill testcases for network regression testing
{{ message }}