Pinned Repositories
Project
All the analysis on the impact of Operation Onymous on Agora is available here:
ADR
amy-compiler
Final Phase of Project in CS-320 @ EPFL
ASP_Lab03
BDD
Stand-alone BDD package
build-pine64-image
Pine64 Linux build scripts, tools and instructions
cs211_assignment
CSN_Lab01
SentweetmentClassificator
PriorityQueue-FormalVerification
An attempt at proving the correctness of a Stainless implementation of theOptimal Purely Functional Priority Queues introduced by Chris Okasaki and Gerth Stølting Brodal
apassuello's Repositories
apassuello/ADR
apassuello/amy-compiler
Final Phase of Project in CS-320 @ EPFL
apassuello/ASP_Lab03
apassuello/BDD
Stand-alone BDD package
apassuello/build-pine64-image
Pine64 Linux build scripts, tools and instructions
apassuello/cs211_assignment
apassuello/CSN_Lab01
apassuello/fm-index
Educational implementation of BWT and FM-index
apassuello/kitty
C++ truth table library
apassuello/KQCircuits
KLayout Python library for integrated quantum circuit design.
apassuello/LFA_Labs
apassuello/ML_Project1
apassuello/mockturtle
C++ logic network library
apassuello/Projet_Python
apassuello/SYM
apassuello/SYM_Lab02
Laboratoire 2 : Protocoles applicatifs
apassuello/SYM_Lab03
apassuello/TB_Report
apassuello/Teaching-HEIGVD-RES
Repository for the RES course at HEIG-VD (Network programming and application protocols)
apassuello/Teaching-HEIGVD-RES-2017-Labo-00
First lab for RES 2017: the GitHub workflow with a maven project
apassuello/Teaching-HEIGVD-RES-2017-Labo-01
Lab on Java IO (file system traversal & filters).
apassuello/Teaching-HEIGVD-RES-2017-Labo-02
Repo for lab 02 (TCP programming)
apassuello/Teaching-HEIGVD-RES-2017-Labo-DockerMusic
An introduction to Docker
apassuello/Teaching-HEIGVD-RES-2017-Labo-HTTPInfra
A repo for the Web Infrastructure lab
apassuello/Teaching-HEIGVD-RES-2017-Labo-SMTP
Lab to experiment with the SMTP protocol (client-side)
apassuello/Teaching-HEIGVD-RES-2017-StPatrickChallenge
apassuello/try_git