• Stars
    star
    40
  • Rank 680,660 (Top 14 %)
  • Language
    Python
  • License
    ISC License
  • Created over 5 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Grammars suitable for lark parser and Hypothesis

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

luzer

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

swebok-v3

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

open-history-data

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

elle-cli

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

openbsd-tests

Unofficial OpenBSD regression tests
Jupyter Notebook
22
star
14

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
15

gromit

EBNF grammar fuzzer
Go
17
star
16

lua-c-manual-pages

Lua 5.1 C API manual pages
Roff
15
star
17

jenny

Tool for generating regression tests
C
14
star
18

git-test

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

semgrep-rules

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

gedcom

Genealogy Tools
Jupyter Notebook
10
star
21

lua-c-api-tests

Lua C API tests
C++
9
star
22

molly

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

parallels-plesk-dockefile

Dockefile for Parallels Plesk Panel
Shell
7
star
24

testres-db

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

planet-openbsd

Planet OpenBSD
CSS
7
star
26

py-mutation-testing-elements

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

packetdrill-testcases

packetdrill testcases for network regression testing
Python
5
star
28

berkeley-db.1.85

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

zabbix-virtuozzo-template

Zabbix template for Virtuozzo
5
star
30

pg_feedback

PostgreSQL Feedback Plugin
C
5
star
31

go-contracts

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

twisource

OpenVZ tweets
Go
4
star
33

testres

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

afl-lua

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

lua-c-api-corpus

Lua C API seed corpus
3
star
36

wwwc

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

blog

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

litclock

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

snippets

My experiments and snippets
HTML
2
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