Popular repositories Loading

1. ho-transform-sbs ho-transform-sbs Public

   Coq

2. qpt-parity qpt-parity Public

   Implementation of quasipolynomial-time Zielonka-style algorithms solving parity games

   C++

3. kurs-oi-moje kurs-oi-moje Public

   Forked from olimpiada/kurs-oi

   C++

4. cars cars Public

   Adaptive rejection sampling

   Python

5. sinol-make sinol-make Public

   Forked from sio2project/sinol-make

   CLI tool for creating and verifying problem packages for sio2

   Python