Popular repositories Loading

1. pynusmv pynusmv Public

   PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.

   C 22 8

2. testris testris Public

   A tetris-like game.

   C 2

3. MePGen MePGen Public

   A memorable passwords generator.

   Python 2 1

4. tkCanvasGraph tkCanvasGraph Public

   A Python library that implements a new tkinter canvas on which users can display and manipulate graphs.

   Python 1

5. aoc22 aoc22 Public

   https://adventofcode.com/2022

   TypeScript 1 1

6. wagoner wagoner Public

   wagoner is a random words generator.

   Python