Paul-Reftu

Pinned Repositories

coq-program-equivalence
Language:Coq0 1 00
daml-air-traffic-control
Language:Raku0 1 00
DBMSP-2018-2019
Language:PLSQL0 0 00
HackerNewsApi
A crawler used to obtain story information from HackerNews, using their API.
Language:Haskell0 1 00
Holmusk-Bank-Simulation
Language:Haskell0 1 00
NuSMV
Mirror of NuSMV 2.6.0 from http://nusmv.fbk.eu
Language:C0 0 00
QAP
Language:C0 0 00
QuantumCircuits-C
A C-based implementation of the Quantum Circuit model
Language:C00
Software-Engineering-2018-2019
Language:Java1 1 00
Web-Technologies-2018-2019
Repository belonging to the Task Force deployed for Project "ASA".
Language:HTML3 1 00

Paul-Reftu's Repositories

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