Carlo Wood's starred repositories

utterances

:crystal_ball: A lightweight comments widget built on GitHub issues

Language:TypeScriptLicense:MITStargazers:8730Issues:44Issues:343

genmc

Generic model checker for concurrent C programs (mirror repository)

Language:C++License:GPL-3.0Stargazers:95Issues:12Issues:56

libgaloisfield

A small C++ library to play with finite fields.

Language:C++License:GPL-3.0Stargazers:2Issues:3Issues:0