Popular repositories Loading

1. pycomptheory pycomptheory Public

   This library contains a collection a classes and utilities in modern python, to manipulate mathematical objects related to languages theory.

   Python 1

2. commit-classifier commit-classifier Public

   This project contains a set of tools that helps in git repo mining using several approaches.

   Python

3. impostor impostor Public

   Game for playing the impostor game with your friends

   Python

4. impostorapp impostorapp Public

   Dart

5. pychc pychc Public

   Forked from usi-verification-and-security/pychc

   A library for certified CHC solving

   SMT

6. nicola-gentile.github.io nicola-gentile.github.io Public

   Personal home page

   HTML