Sergey Bronnikov
@ligurio
About
I make software suck less
Skills & Technologies
Projects & Repositories
Recent public projects and repositories from this profile.
awesome-ci
The list of continuous integration services and tools
awesome-openbsd
The curated list of awesome OpenBSD resources
ljopt
LuaTranslate LuaJIT IR to SMT-LIB
luzer
CA coverage-guided, native Lua fuzzing engine.
lunapark
LuaFuzzing Lua runtimes without pain
practical-fm
A gently curated list of companies using verification formal methods in industry