MassimoLauria

Pinned Repositories

a179009
Program to count maximally refined partition of a number N (see https://oeis.org/A179009)
Language:C++0 3 00
cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
Language:Python60 8 3315
cnftools
A set of efficient tools for CNF manipulations.
Language:C++2 3 00
dotemacs
It is my Emacs configuration, which does not start with a .emacs file anymore... hail to init.el!
Language:Emacs Lisp14 4 03
global-configuration
All my public config files in a single repository, with reference to specific modules.
Language:Python5 5 01
pebble
This computes various pebbling numbers for directed acyclic graphs.
Language:C2 3 11
shell
Configuration files for my shell
Language:Shell2 3 01
xsession
Xsession and Xresources config files
Language:Shell2 4 00

MassimoLauria's Repositories

MassimoLauria/cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
Language:Python60 8 3315
MassimoLauria/dotemacs
It is my Emacs configuration, which does not start with a .emacs file anymore... hail to init.el!
Language:Emacs Lisp14 4 03
MassimoLauria/global-configuration
All my public config files in a single repository, with reference to specific modules.
Language:Python5 5 01
MassimoLauria/cnftools
A set of efficient tools for CNF manipulations.
Language:C++2 3 00
MassimoLauria/pebble
This computes various pebbling numbers for directed acyclic graphs.
Language:C2 3 11
MassimoLauria/shell
Configuration files for my shell
Language:Shell2 3 01
MassimoLauria/xsession
Xsession and Xresources config files
Language:Shell2 4 00
MassimoLauria/a179009
Program to count maximally refined partition of a number N (see https://oeis.org/A179009)
Language:C++0 3 00
MassimoLauria/adventofcode
My attempts to solve the Advent of Code challenges
Language:Python3 0
MassimoLauria/dss-linux-system
Macchina virtuale Linux per i laboratori del Dipartimento di Scienze Statitiche (Univ. Sapienza di Roma)
Language:Shell3 0
MassimoLauria/helm-bibtex
Search and manage bibliographies in Emacs
Language:Emacs Lisp2 0
MassimoLauria/helm-org-contacts
A helm source for org-contacts
Language:Emacs Lisp2 0
MassimoLauria/informatica2019
The source code for the course webpage Infomatica@DSS 2019/2020 (2o trunk)
Language:Python3 0
MassimoLauria/infosefa2017
The source code for the webpage of Infomatica@SEFA 2017/2018 course
Language:Python3 0
MassimoLauria/infosefa2018
The source code for the webpage of Infomatica@SEFA 2018/2019 course
Language:Python3 0
MassimoLauria/LezionePE
Jupyter notebooks per la lezione P.E. su numpy e matplotlib
Language:Jupyter Notebook3 0
MassimoLauria/masterbafi
Notebook per la lezione del master
Language:Jupyter Notebook3 0
MassimoLauria/webpage
My personal webpage
Language:TeX3 0