Pinned Repositories
coq-program-equivalence
daml-air-traffic-control
DBMSP-2018-2019
HackerNewsApi
A crawler used to obtain story information from HackerNews, using their API.
Holmusk-Bank-Simulation
NuSMV
Mirror of NuSMV 2.6.0 from http://nusmv.fbk.eu
QAP
QuantumCircuits-C
A C-based implementation of the Quantum Circuit model
Software-Engineering-2018-2019
Web-Technologies-2018-2019
Repository belonging to the Task Force deployed for Project "ASA".
Paul-Reftu's Repositories
Paul-Reftu/Web-Technologies-2018-2019
Repository belonging to the Task Force deployed for Project "ASA".
Paul-Reftu/Software-Engineering-2018-2019
Paul-Reftu/coq-program-equivalence
Paul-Reftu/daml-air-traffic-control
Paul-Reftu/DBMSP-2018-2019
Paul-Reftu/HackerNewsApi
A crawler used to obtain story information from HackerNews, using their API.
Paul-Reftu/Holmusk-Bank-Simulation
Paul-Reftu/NuSMV
Mirror of NuSMV 2.6.0 from http://nusmv.fbk.eu
Paul-Reftu/QAP
Paul-Reftu/QuantumCircuits-C
A C-based implementation of the Quantum Circuit model
Paul-Reftu/streamly-extras