Sergey Bronnikov

awesome-ci. The list of continuous integration services and tools

sqa-wiki. My own notes (drafts mostly) about software quality

awesome-ttygames. Unix ASCII games

practical-fm. A gently curated list of companies using verification formal methods in industry

awesome-openbsd. The curated list of awesome OpenBSD resources

unreliablefs. A FUSE-based fault injection filesystem.

swebok-2004-in-russian. Основы программной инженерии (SWEBOK 2004 на русском) в EPUB, FB2 и HTML

openbsd-cookbooks. Setup environment in OpenBSD using Ansible playbook

luzer. A coverage-guided, native Lua fuzzing engine.

lark-grammars. Grammars suitable for lark parser and Hypothesis

elle-cli. The command-line frontend to transactional consistency checkers for black-box databases

swebok-v3. Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)

clojure-from-the-ground-up. 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.

open-history-data. Поиск людей из прошлого

openbsd-tests. Unofficial OpenBSD regression tests

gromit. is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.

semgrep-rules. semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.

jenny. Tool for generating regression tests

gedcom. Genealogy Tools

lua-c-manual-pages. Lua 5.1 C API manual pages

lunapark. Fuzzing Lua runtimes without pain

git-test. Run automated tests against a range of Git commits and keep track of the results

molly. Framework for distributed system's verification, with fault injection.

pg_feedback. PostgreSQL Feedback Plugin

testres-db. is a tool to import test results into SQLite database

litclock. A clock made with using time quotes from literature

berkeley-db.1.85. This is version 1.85 of the Berkeley DB code.

packetdrill-testcases. packetdrill testcases for network regression testing

testres. A hyperfast web frontend for software testing results written in C.

afl-lua. Integration of AFL (American Fuzzy Lop) with Lua programming language. Superseded by https://github.com/ligurio/luzer.

twisource. OpenVZ tweets

go-contracts. A draft implementation of contracts for Golang ("require no more, promise no less")

wwwc. Board engine written in C++

lunapark-corpus. Seed corpus and dictionaries

pg-tests. Mirror of https://git.postgrespro.ru/automation/pg-tests

openvz-playbooks. Ansible playbooks/files/etc repository for OpenVZ infrastructure

runmap. Беговые дорожки Москвы 🏃

snippets. My experiments and snippets

libc-tests. A set of fuzzing tests intended for testing standard C library