Popular repositories Loading

1. Carnifex Carnifex Public

   put your ICPC contestants in their place

   Go 7 3

2. language-nusmv language-nusmv Public

   Forked from hgoes/language-nusmv

   Haskell parser for the NuSMV input language

   Haskell

3. gtl gtl Public

   Forked from hgoes/gtl

   The GALS Transformation Language

   Haskell

4. ali ali Public

   Automatic adjustment of display brightness

   C++

5. multiprecision multiprecision Public

   Forked from boostorg/multiprecision

   C++

6. checktestdata checktestdata Public

   Forked from DOMjudge/checktestdata

   checks integrity of test data in programming contests like the ACM ICPC

   C++