Giters
Sergey Bronnikov (ligurio)

ligurio

User data from Github https://github.com/ligurio

373

followers

488

following

4k

stars

Home Page:https://bronevichok.ru/

GitHub:@ligurio

Organizations
luafun
sqaunderhood
tarantool

Sergey Bronnikov's repositories

awesome-ci

The list of continuous integration services and tools

License:NOASSERTIONStargazers:3795Issues:133Issues:32

awesome-ttygames

Unix ASCII games

Language:HTMLStargazers:863Issues:25Issues:23

practical-fm

A gently curated list of companies using verification formal methods in industry

Stargazers:516Issues:55Issues:9

awesome-openbsd

The curated list of awesome OpenBSD resources

Stargazers:458Issues:30Issues:5

unreliablefs

A FUSE-based fault injection filesystem.

Language:CLicense:MITStargazers:178Issues:6Issues:77

swebok-2004-in-russian

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

Language:MakefileStargazers:88Issues:7Issues:0

lark-grammars

Grammars suitable for lark parser and Hypothesis

Language:PythonLicense:ISCStargazers:47Issues:4Issues:2

luzer

A coverage-guided, native Lua fuzzing engine.

Language:CLicense:ISCStargazers:39Issues:3Issues:9

elle-cli

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

Language:ClojureLicense:NOASSERTIONStargazers:29Issues:2Issues:21

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.

Language:MakefileStargazers:21Issues:4Issues:0

jenny

Tool for generating regression tests

Language:CStargazers:16Issues:3Issues:0

lua-c-manual-pages

Lua 5.1 C API manual pages

Language:RoffStargazers:16Issues:2Issues:1

semgrep-rules

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

Language:LuaLicense:MITStargazers:13Issues:2Issues:19

lua-c-api-tests

Fuzzing Lua runtimes without pain

Language:C++License:NOASSERTIONStargazers:11Issues:2Issues:17

molly

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

Language:LuaLicense:ISCStargazers:11Issues:2Issues:4

litclock

A clock made with using time quotes from literature

Language:PythonLicense:NOASSERTIONStargazers:7Issues:3Issues:4

pg_feedback

PostgreSQL Feedback Plugin

Language:CStargazers:6Issues:2Issues:0

packetdrill-testcases

packetdrill testcases for network regression testing

Language:PythonStargazers:5Issues:3Issues:0

lua-c-api-corpus

Lua C API seed corpus and dictionaries

Language:LuaStargazers:4Issues:2Issues:0

snippets

My experiments and snippets

Language:HTMLStargazers:2Issues:3Issues:0

tarantool

Patches

Language:LuaLicense:NOASSERTIONStargazers:2Issues:2Issues:0

tarantool-corpus

Fuzzing seed corpus for Tarantool

Language:LuaStargazers:1Issues:2Issues:0

tarantool-lua-api-tests

Fuzzing Tarantool Lua API

Language:LuaLicense:MITStargazers:1Issues:2Issues:0

oss-fuzz

Patches

Language:ShellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

specs

Formal specifications

Language:PromelaStargazers:0Issues:3Issues:0

esbmc

Patches

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

libc-tests

A set of fuzzing tests intended for testing standard C library

Language:CMakeLicense:MITStargazers:0Issues:2Issues:0

literature-clock

Patches

Language:RLicense:NOASSERTIONStargazers:0Issues:1Issues:0

luacov

Patches

Language:LuaLicense:MITStargazers:0Issues:0Issues:0

sqlancer

Automated testing to find logic and performance bugs in database systems

License:MITStargazers:0Issues:0Issues:0