Beast code in Giters

Massimo Lauria's repositories

cnfgen

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

Language:PythonGPL-3.060 8 33

dotemacs

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

Language:Emacs Lisp14 40

global-configuration

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

Language:Python5 50

cnftools

A set of efficient tools for CNF manipulations.

Language:C++GPL-3.02 30

pebble

This computes various pebbling numbers for directed acyclic graphs.

Language:C2 3 1

shell

Configuration files for my shell

Language:Shell2 30

xsession

Xsession and Xresources config files

Language:Shell2 40

a179009

Program to count maximally refined partition of a number N (see https://oeis.org/A179009)

Language:C++GPL-3.0030

adventofcode

My attempts to solve the Advent of Code challenges

Language:Python030

dss-linux-system

Macchina virtuale Linux per i laboratori del Dipartimento di Scienze Statitiche (Univ. Sapienza di Roma)

Language:Shell030

helm-bibtex

Search and manage bibliographies in Emacs

Language:Emacs LispGPL-2.0020

helm-org-contacts

A helm source for org-contacts

Language:Emacs LispGPL-3.0020

informatica2019

The source code for the course webpage Infomatica@DSS 2019/2020 (2o trunk)

Language:Python030

infosefa2017

The source code for the webpage of Infomatica@SEFA 2017/2018 course

Language:Python030

infosefa2018

The source code for the webpage of Infomatica@SEFA 2018/2019 course

Language:Python030

LezionePE

Jupyter notebooks per la lezione P.E. su numpy e matplotlib

Language:Jupyter Notebook030

masterbafi

Notebook per la lezione del master

Language:Jupyter Notebook030

webpage

My personal webpage

Language:TeX030