• Stars
    star
    2
  • Language
    HTML
  • Created over 4 years ago
  • Updated 10 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My experiments and snippets

More Repositories

1

awesome-ci

List of Continuous Integration services
3,453
star
2

sqa-wiki

My own notes (drafts mostly) about software quality
2,213
star
3

awesome-ttygames

Unix ASCII games
HTML
758
star
4

practical-fm

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

awesome-openbsd

A curated list of awesome OpenBSD resources
424
star
6

unreliablefs

A FUSE-based fault injection filesystem.
C
170
star
7

openbsd-cookbooks

Setup environment in OpenBSD using Ansible playbook
Shell
88
star
8

swebok-2004-in-russian

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

lark-grammars

Grammars suitable for lark parser and Hypothesis
Python
40
star
10

luzer

A coverage-guided, native Lua fuzzing engine.
C
34
star
11

swebok-v3

Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)
Makefile
24
star
12

open-history-data

Поиск людей из прошлого
Python
24
star
13

elle-cli

command-line frontend to transactional consistency checkers for black-box databases
Clojure
23
star
14

openbsd-tests

Unofficial OpenBSD regression tests
Jupyter Notebook
22
star
15

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.
CSS
18
star
16

gromit

EBNF grammar fuzzer
Go
17
star
17

lua-c-manual-pages

Lua 5.1 C API manual pages
Roff
15
star
18

jenny

Tool for generating regression tests
C
14
star
19

git-test

Run automated tests against a range of Git commits and keep track of the results
Shell
13
star
20

semgrep-rules

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

gedcom

Genealogy Tools
Jupyter Notebook
10
star
22

lua-c-api-tests

Lua C API tests
C++
9
star
23

molly

Framework for distributed system's verification, with fault injection.
Lua
9
star
24

parallels-plesk-dockefile

Dockefile for Parallels Plesk Panel
Shell
7
star
25

testres-db

is a tool to import test results into SQLite database
Go
7
star
26

planet-openbsd

Planet OpenBSD
CSS
7
star
27

py-mutation-testing-elements

Generator of HTML reports with mutation testing results
Python
6
star
28

packetdrill-testcases

packetdrill testcases for network regression testing
Python
5
star
29

berkeley-db.1.85

This is version 1.85 of the Berkeley DB code.
C
5
star
30

zabbix-virtuozzo-template

Zabbix template for Virtuozzo
5
star
31

pg_feedback

PostgreSQL Feedback Plugin
C
5
star
32

go-contracts

A draft implementation of contracts for Golang ("require no more, promise no less")
Go
4
star
33

twisource

OpenVZ tweets
Go
4
star
34

testres

A hyperfast web frontend for software testing results written in C.
C
4
star
35

afl-lua

Integration of AFL (American Fuzzy Lop) with Lua programming language. Superseded by https://github.com/ligurio/luzer.
C
3
star
36

lua-c-api-corpus

Lua C API seed corpus
3
star
37

wwwc

Board engine written in C++
C++
3
star
38

blog

My blog / Мой блог
HTML
3
star
39

litclock

is a clock using time quotes from literature
HTML
3
star
40

runmap

Беговые дорожки Москвы 🏃
CSS
2
star
41

ligurio

2
star
42

openvz-playbooks

Ansible playbooks/files/etc repository for OpenVZ infrastructure
PHP
2
star
43

openvz-packer-templates

Vagrant boxes for Virtuozzo and OpenVZ
Shell
2
star
44

postgresql-perf-tools

PostgreSQL Performance Monitoring Tools
Python
2
star
45

runtest

runtest - is a program for running OpenBSD regression tests.
C
2
star
46

pg-tests

Mirror of https://git.postgrespro.ru/automation/pg-tests
Python
2
star
47

race-number-tagger

Machine learning model to detect race numbers
Python
1
star
48

openbsd-wip

OpenBSD work in progress ports
Makefile
1
star
49

mulua

A practical mutation testing tool for Lua.
1
star
50

report-samples

Samples of testing and code coverage reports
Raku
1
star
51

go-cobertura

Cobertura XML format parser for the Go programming language
Go
1
star
52

molly-tests

Lua
1
star