Beast code in Giters

tzzht's repositories

Subator is a simple srt subtitle production tool.

Language:PythonMIT43 10

Language:C++010

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

Language:C++NOASSERTION000

Language:C++000

Language:SMT000

private

Language:Verilog010

Video Duplicate Finder - Crossplatform

Language:C#000