Pinned Repositories
labs
LAbS: a Language with Attribute-based Stigmergies - Parser + Code generator
sliver
The SLiVER LAbS VERifier
absentee
A C-to-C transformation tool
alfred-dbz
Search papers on DBLP and add them to Zotero
Deedy-Resume
My one-page resume, based on Deedy-Resume
gssi
Stuff I worked on while at GSSI (L'Aquila, Italy)
localpathplanner
Local Path Planner for multirotor UAVs (Master's Thesis project)
plancksat
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
PythonRSA
RSA implementation.
lou1306's Repositories
lou1306/alfred-dbz
Search papers on DBLP and add them to Zotero
lou1306/gssi
Stuff I worked on while at GSSI (L'Aquila, Italy)
lou1306/absentee
A C-to-C transformation tool
lou1306/localpathplanner
Local Path Planner for multirotor UAVs (Master's Thesis project)
lou1306/zampano
a minimal academic page for hugo
lou1306/Deedy-Resume
My one-page resume, based on Deedy-Resume
lou1306/plancksat
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
lou1306/academic-homepage
My personal home page
lou1306/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
lou1306/cadp
Useful stuff for the CADP toolbox
lou1306/cbmc-legacy
lou1306/chalmers_beamer_theme
A beamer theme adhering to the Chalmers style guide.
lou1306/CIV
CCS Interpreter and Verifier in C#
lou1306/cpython
The Python programming language
lou1306/Electron.NET
Build cross platform desktop apps with .NET Core and ASP.NET NET Core.
lou1306/FAST
"FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.
lou1306/graduation
$ git remote <graduation> yearbook
lou1306/Hackaton
App per Open Data Ricostruzione Hackaton 2017
lou1306/hoa-utils
Utilities for the HOA format.
lou1306/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
lou1306/homebrew-formal
Homebrew formulae for formal methods
lou1306/hugo-type-theme
Port of Rohan Chandra's Type theme to Hugo.
lou1306/jaeger
JAEGER - Just AnothEr Gross, over-Engineered Roguelike
lou1306/lou1306
lou1306/mailpoet
A free newsletter plugin for WordPress
lou1306/pandoc-terminal-writer
Pretty-print text documents on a terminal using pandoc
lou1306/panzer
pandoc + styles
lou1306/PoGo-UWP
UWP Client for Pokemon Go
lou1306/Replication
lou1306/resume
Compact and Minimal LaTeX Resume Template