ligurio

awesome-ci

The list of continuous integration services and tools

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

lark-grammars

Grammars suitable for lark parser and Hypothesis

luzer

A coverage-guided, native Lua fuzzing engine.

elle-cli

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

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.

lua-c-manual-pages

Lua 5.1 C API manual pages

semgrep-rules

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

lua-c-api-tests

Lua C API tests

molly

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

litclock

A clock made with using time quotes from literature

lua-c-api-corpus

Lua C API seed corpus and dictionaries

FreeRDP

FreeRDP is a free remote desktop protocol library and clients

snippets

My experiments and snippets

tarantool

Patches

molly-tests

tarantool-lua-api-tests

Fuzzing Tarantool Lua API

oss-fuzz

Patches

specs

Formal specifications

esbmc

Patches

fuzzingbook

Patches

icu

Patches

libc-tests

A set of fuzzing tests intended for testing standard C library

ntfy-android

Android app for ntfy.sh

terra

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

test-run

Weird Tarantool functional testing framework