Beast code in Giters

Joseph Redmon's starred repositories

stb single-file public domain libraries for C/C++

Language:CNOASSERTION25481 617 805

A framework for formally verifying distributed systems implementations in Coq

Language:CoqBSD-2-Clause575 65 25

datasets for computer go

Language:C++GPL-3.0144 18 5

Extract a plain text corpus from MediaWiki XML dumps, such as Wikipedia.

Language:NimMIT131 8 4

Dataset preprocessor for the KGS go dataset, eg according to Clark and Storkey input planes

Language:PythonMPL-2.071 9 1

A LaTeX package for proof carrying papers

Language:Python23 10