Giters
Sergey Bronnikov (ligurio)

ligurio

Geek Repo

351

followers

460

following

4k

stars

Home Page:https://bronevichok.ru/

Github PK Tool:Github PK Tool

Organizations
luafun
sqaunderhood
tarantool

Sergey Bronnikov's repositories

awesome-ci

List of Continuous Integration services

License:NOASSERTIONStargazers:3532Issues:130Issues:32

awesome-ttygames

Unix ASCII games

Language:HTMLStargazers:777Issues:25Issues:23

practical-fm

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

Stargazers:466Issues:55Issues:8

awesome-openbsd

A curated list of awesome OpenBSD resources

Stargazers:429Issues:29Issues:5

unreliablefs

A FUSE-based fault injection filesystem.

Language:CLicense:MITStargazers:171Issues:7Issues:76

swebok-2004-in-russian

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

Language:MakefileStargazers:63Issues:6Issues:0

lark-grammars

Grammars suitable for lark parser and Hypothesis

Language:PythonLicense:ISCStargazers:41Issues:4Issues:2

luzer

A coverage-guided, native Lua fuzzing engine.

Language:CLicense:ISCStargazers:34Issues:2Issues:8

elle-cli

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

Language:ClojureLicense:NOASSERTIONStargazers:25Issues:3Issues:20

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:20Issues:0Issues:0

jenny

Tool for generating regression tests

Language:CStargazers:15Issues:3Issues:0

lua-c-manual-pages

Lua 5.1 C API manual pages

Language:RoffStargazers:15Issues:2Issues:1

semgrep-rules

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

Language:LuaLicense:MITStargazers:12Issues:3Issues:19

molly

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

Language:LuaLicense:ISCStargazers:11Issues:3Issues:3

lua-c-api-tests

Lua C API tests

Language:C++License:NOASSERTIONStargazers:9Issues:2Issues:12

packetdrill-testcases

packetdrill testcases for network regression testing

Language:PythonStargazers:5Issues:3Issues:0

pg_feedback

PostgreSQL Feedback Plugin

Language:CStargazers:5Issues:2Issues:0

litclock

is a clock using time quotes from literature

Language:HTMLLicense:NOASSERTIONStargazers:3Issues:2Issues:1

lua-c-api-corpus

Lua C API seed corpus and dictionaries

Stargazers:3Issues:2Issues:0

FreeRDP

FreeRDP is a free remote desktop protocol library and clients

Language:CLicense:Apache-2.0Stargazers:2Issues:0Issues:0

snippets

My experiments and snippets

Language:HTMLStargazers:2Issues:3Issues:0

oss-fuzz

Patches

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

specs

Formal specifications

Language:PromelaStargazers:0Issues:3Issues:0

tarantool

Patches

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

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

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

libc-tests

Generic fuzzing tests for libc

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

literature-clock

Clock using time quotes from the literature, based on the work of Jaap Meijers

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

protocol-bugs-list

List of bugs found in distributed protocols

Language:TeXStargazers:0Issues:0Issues:0

raft.github.io

website at https://raft.github.io

Stargazers:0Issues:0Issues:0

tarantool-lua-api-tests

Fuzzing Tarantool Lua API

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