-
lua-c-api-corpus Public
Lua C API seed corpus and dictionaries
-
luzer Public
A coverage-guided, native Lua fuzzing engine.
-
lua-c-api-tests Public
Fuzzing Lua runtimes without pain
-
-
-
-
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
-
otava Public
Forked from apache/otavaChange Detection for Continuous Performance Engineering
Python Apache License 2.0 UpdatedApr 24, 2025 -
oss-sydr-fuzz Public
Forked from ispras/oss-sydr-fuzzOSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
C Apache License 2.0 UpdatedApr 24, 2025 -
litclock Public
A clock made with using time quotes from literature
-
otava-website Public
Forked from apache/otava-websiteWebsite for Apache Otava (incubating)
TypeScript Apache License 2.0 UpdatedApr 4, 2025 -
lowdown Public
Forked from kristapsdz/lowdownsimple markdown translator
C ISC License UpdatedMar 30, 2025 -
literature-clock Public
Forked from JohannesNE/literature-clockPatches
R Other UpdatedMar 28, 2025 -
awesome-ci Public
The list of continuous integration services and tools
-
sqlancer Public
Forked from sqlancer/sqlancerAutomated testing to find logic and performance bugs in database systems
Java MIT License UpdatedMar 15, 2025 -
awesome-ttygames Public
Unix ASCII games
-
-
elle-cli Public
The command-line frontend to transactional consistency checkers for black-box databases
-
practical-fm Public
A gently curated list of companies using verification formal methods in industry
-
lua-c-manual-pages Public
Lua 5.1 C API manual pages
-
-
-
-
molly Public
Framework for distributed system's verification, with fault injection.
-
semgrep-rules Public
semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.
-
tarantool-lua-api-tests Public
Fuzzing Tarantool Lua API
-
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 }}