All Git Users → ligurio

9 open source projects by ligurio

[ Open user page on Github ]

1. Awesome Openbsd

A curated list of awesome OpenBSD resources

✭ 228

news jobs openbsd hosting

List of Continuous Integration services

✭ 2,737

awesome devops developer-tools ci continuous-integration development comparison

3. Software Quality Wiki

Software Quality Wiki

✭ 1,991

testing learning verification ebooks courses model-checking formal-methods quality-assurance software-testing

4. Openbsd Cookbooks

Setup environment in OpenBSD using Ansible playbook

✭ 80

shell automation ansible configuration-management playbook openbsd ansible-playbooks

EBNF grammar fuzzer

✭ 12

go grammar testing fuzzing

6. Awesome Ttygames

Unix ASCII games

✭ 333

html awesome game opensource

7. Practical Fm

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

✭ 272

coq software-engineering practice formal-methods

8. openbsd-tests

Unofficial OpenBSD regression tests

✭ 22

Jupyter Notebook python M4 shell Makefile c testing openbsd regression-testing software-testing openbsd-tests

9. open-history-data

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

✭ 19

python search genealogy gedcom heritage pedigree

1-9 of 9 user projects