Sergey Bronnikov
ligurio
I make software suck less
Languages
Top Repositories
The list of continuous integration services and tools
My own notes (drafts mostly) about software quality
Unix ASCII games
A gently curated list of companies using verification formal methods in industry
The curated list of awesome OpenBSD resources
A FUSE-based fault injection filesystem.
Repositories
56The list of continuous integration services and tools
A framework for testing compilers' type checkers
Unix ASCII games
My own notes (drafts mostly) about software quality
A gently curated list of companies using verification formal methods in industry
A coverage-guided, native Lua fuzzing engine.
semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
No description provided.
The curated list of awesome OpenBSD resources
Основы программной инженерии (SWEBOK 2004 на русском) в EPUB, FB2 и HTML
Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)
Seed corpus and dictionaries
Fuzzing Lua runtimes without pain
Lua 5.1 C API manual pages
A coverage-guided grammar-based SQL test
Patches
A FUSE-based fault injection filesystem.
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.
A clock made with using time quotes from literature
Patches
Fuzzing seed corpus for Tarantool
The command-line frontend to transactional consistency checkers for black-box databases
is a tool to import test results into SQLite database
Framework for distributed system's verification, with fault injection.
Grammars suitable for lark parser and Hypothesis
Fuzzing Tarantool Lua API
A set of fuzzing tests intended for testing standard C library
Integration of AFL (American Fuzzy Lop) with Lua programming language. Superseded by https://github.com/ligurio/luzer.
Project page for "The Fuzzing Book"
Genealogy Tools