lou1306

alfred-dbz

Search papers on DBLP and add them to Zotero

gssi

Stuff I worked on while at GSSI (L'Aquila, Italy)

absentee

A C-to-C transformation tool

localpathplanner

Local Path Planner for multirotor UAVs (Master's Thesis project)

lou1306.github.io

Github Pages

Deedy-Resume

My one-page resume, based on Deedy-Resume

plancksat

Just good ol' minisat with some quality of life improvements and weak/strong assumptions

academic-homepage

My personal home page

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

cadp

Useful stuff for the CADP toolbox

cbmc-legacy

chalmers_beamer_theme

A beamer theme adhering to the Chalmers style guide.

CIV

CCS Interpreter and Verifier in C#

cpython

The Python programming language

Electron.NET

Build cross platform desktop apps with .NET Core and ASP.NET NET Core.

FAST

"FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.

graduation

$ git remote <graduation> yearbook

Hackaton

App per Open Data Ricostruzione Hackaton 2017

hoa-utils

Utilities for the HOA format.

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

homebrew-formal

Homebrew formulae for formal methods

hugo-type-theme

Port of Rohan Chandra's Type theme to Hugo.

jaeger

JAEGER - Just AnothEr Gross, over-Engineered Roguelike

lou1306

mailpoet

A free newsletter plugin for WordPress

pandoc-terminal-writer

Pretty-print text documents on a terminal using pandoc

panzer

pandoc + styles

Replication

resume

Compact and Minimal LaTeX Resume Template

zampano

a minimal academic page for hugo