Skip to content
View MassimoLauria's full-sized avatar

Block or report MassimoLauria

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. cnfgen cnfgen Public

    CNF generator in DIMACS format. It produces common families of CNFs.

    Python 63 15

  2. dotemacs dotemacs Public

    It is my Emacs configuration, which does not start with a .emacs file anymore... hail to init.el!

    Emacs Lisp 16 3

  3. global-configuration global-configuration Public

    All my public config files in a single repository, with reference to specific modules.

    Python 5 1

  4. shell shell Public

    Configuration files for my shell

    Shell 2 1

  5. xsession xsession Public

    Xsession and Xresources config files

    Shell 2

  6. cnftools cnftools Public

    A set of efficient tools for CNF manipulations.

    C++ 2