Discover ligurio/molly Open Source project

Stars
9
Rank 1,929,720 (Top 39 %)
Language
Lua
License
ISC License
Created about 3 years ago
Updated over 1 year ago

ligurio

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

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

awesome-ci

List of Continuous Integration services

3,453

sqa-wiki

My own notes (drafts mostly) about software quality

awesome-ttygames

practical-fm

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

456

awesome-openbsd

A curated list of awesome OpenBSD resources

424

unreliablefs

A FUSE-based fault injection filesystem.

170

openbsd-cookbooks

Setup environment in OpenBSD using Ansible playbook

Shell

swebok-2004-in-russian

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

Makefile

lark-grammars

Grammars suitable for lark parser and Hypothesis

Python

luzer

A coverage-guided, native Lua fuzzing engine.

swebok-v3

Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)

Makefile

open-history-data

Поиск людей из прошлого

Python

elle-cli

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

Clojure

openbsd-tests

Unofficial OpenBSD regression tests

Jupyter Notebook

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

gromit

EBNF grammar fuzzer

lua-c-manual-pages

Lua 5.1 C API manual pages

Roff

jenny

Tool for generating regression tests

git-test

Run automated tests against a range of Git commits and keep track of the results

Shell

semgrep-rules

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

gedcom

lua-c-api-tests

planet-openbsd

parallels-plesk-dockefile

Dockefile for Parallels Plesk Panel

Shell

testres-db

is a tool to import test results into SQLite database

py-mutation-testing-elements

Generator of HTML reports with mutation testing results

Python

packetdrill-testcases

packetdrill testcases for network regression testing

Python

berkeley-db.1.85

This is version 1.85 of the Berkeley DB code.

zabbix-virtuozzo-template

Zabbix template for Virtuozzo

pg_feedback

PostgreSQL Feedback Plugin

go-contracts

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

twisource

OpenVZ tweets

testres

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

afl-lua

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

lua-c-api-corpus

Lua C API seed corpus

wwwc

Board engine written in C++

C++

blog

My blog / Мой блог

HTML

litclock

is a clock using time quotes from literature

HTML

snippets

My experiments and snippets

HTML

runmap

Беговые дорожки Москвы 🏃

CSS

ligurio

openvz-playbooks

Ansible playbooks/files/etc repository for OpenVZ infrastructure

PHP

openvz-packer-templates

Vagrant boxes for Virtuozzo and OpenVZ

Shell

postgresql-perf-tools

PostgreSQL Performance Monitoring Tools

Python

runtest

runtest - is a program for running OpenBSD regression tests.

pg-tests

Mirror of https://git.postgrespro.ru/automation/pg-tests

Python

race-number-tagger

Machine learning model to detect race numbers

Python

openbsd-wip

OpenBSD work in progress ports

Makefile

mulua

A practical mutation testing tool for Lua.

report-samples

Samples of testing and code coverage reports

Raku

go-cobertura

Cobertura XML format parser for the Go programming language

molly-tests

Lua

ligurio/molly

ligurio

Reviews

Repository Details

More Repositories