-
lunapark-corpus Public
Seed corpus and dictionaries
-
luzer Public
A coverage-guided, native Lua fuzzing engine.
-
lunapark Public
Fuzzing Lua runtimes without pain
-
nanodata Public
Forked from tarantool/tarantoolNanodata, distributed in-memory database with plugins in Lua.
Lua Other UpdatedApr 8, 2026 -
-
hephaestus Public
Forked from hephaestus-compiler-project/hephaestusA framework for testing compilers' type checkers
Python GNU General Public License v3.0 UpdatedMar 27, 2026 -
-
awesome-ci Public
The list of continuous integration services and tools
-
litclock Public
A clock made with using time quotes from literature
-
practical-fm Public
A gently curated list of companies using verification formal methods in industry
-
moonsmith Public
Forked from jubnzv/moonsmithPatches
OCaml GNU Lesser General Public License v3.0 UpdatedFeb 25, 2026 -
fuzz-introspector Public
Forked from ossf/fuzz-introspectorPatches
Python Apache License 2.0 UpdatedFeb 21, 2026 -
-
-
elle-cli Public
The command-line frontend to transactional consistency checkers for black-box databases
-
molly Public
Framework for distributed system's verification, with fault injection.
-
lua-c-manual-pages Public
Lua 5.1 C API manual pages
-
fuzzingbook Public
Forked from uds-se/fuzzingbookProject page for "The Fuzzing Book"
Jupyter Notebook Other UpdatedOct 13, 2025 -
awesome-ttygames Public
Unix ASCII games
-
-
gromit Public
is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.
-
awesome-openbsd Public
The curated list of awesome OpenBSD resources
-
-
-
-
semgrep-rules Public
semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
-
tarantool-lua-api-tests Public archive
Fuzzing Tarantool Lua API
Lua MIT License UpdatedSep 3, 2024 -
swebok-2004-in-russian Public
Основы программной инженерии (SWEBOK 2004 на русском) в EPUB, FB2 и HTML
-
clojure-from-the-ground-up Public
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.
-
unreliablefs Public
A FUSE-based fault injection filesystem.
{{ message }}