Pinned Repositories
awesome-ci
The list of continuous integration services and tools
awesome-ttygames
Unix ASCII games
lua-c-api-tests
Lua C API tests
luzer
A coverage-guided, native Lua fuzzing engine.
oss-fuzz
Patches
practical-fm
A gently curated list of companies using verification formal methods in industry
specs
Formal specifications
sqa-wiki
My own notes (drafts mostly) about software quality
tarantool
Patches
unreliablefs
A FUSE-based fault injection filesystem.
ligurio's Repositories
ligurio/awesome-ci
The list of continuous integration services and tools
ligurio/awesome-ttygames
Unix ASCII games
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
ligurio/awesome-openbsd
The curated list of awesome OpenBSD resources
ligurio/unreliablefs
A FUSE-based fault injection filesystem.
ligurio/swebok-2004-in-russian
Основы программной инженерии (SWEBOK 2004 на русском) в EPUB, FB2 и HTML
ligurio/lark-grammars
Grammars suitable for lark parser and Hypothesis
ligurio/luzer
A coverage-guided, native Lua fuzzing engine.
ligurio/elle-cli
The command-line frontend to transactional consistency checkers for black-box databases
ligurio/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.
ligurio/lua-c-manual-pages
Lua 5.1 C API manual pages
ligurio/semgrep-rules
semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
ligurio/lua-c-api-tests
Lua C API tests
ligurio/molly
Framework for distributed system's verification, with fault injection.
ligurio/litclock
A clock made with using time quotes from literature
ligurio/lua-c-api-corpus
Lua C API seed corpus and dictionaries
ligurio/FreeRDP
FreeRDP is a free remote desktop protocol library and clients
ligurio/snippets
My experiments and snippets
ligurio/tarantool
Patches
ligurio/molly-tests
ligurio/tarantool-lua-api-tests
Fuzzing Tarantool Lua API
ligurio/oss-fuzz
Patches
ligurio/specs
Formal specifications
ligurio/esbmc
Patches
ligurio/fuzzingbook
Patches
ligurio/icu
Patches
ligurio/libc-tests
A set of fuzzing tests intended for testing standard C library
ligurio/ntfy-android
Android app for ntfy.sh
ligurio/terra
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
ligurio/test-run
Weird Tarantool functional testing framework