Giters
Paul-Alexandru Reftu (Paul-Reftu)

Paul-Reftu

Geek Repo

3

followers

0

following

3

stars

Github PK Tool:Github PK Tool

Paul-Alexandru Reftu's repositories

Web-Technologies-2018-2019

Repository belonging to the Task Force deployed for Project "ASA".

Language:HTMLLicense:MITStargazers:3Issues:1Issues:0

Software-Engineering-2018-2019

Language:JavaStargazers:1Issues:0Issues:0

coq-program-equivalence

Language:CoqLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

daml-air-traffic-control

Language:RakuStargazers:0Issues:1Issues:0

DBMSP-2018-2019

Language:PLSQLLicense:MITStargazers:0Issues:0Issues:0

HackerNewsApi

A crawler used to obtain story information from HackerNews, using their API.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

Holmusk-Bank-Simulation

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

NuSMV

Mirror of NuSMV 2.6.0 from http://nusmv.fbk.eu

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

QAP

Language:CStargazers:0Issues:0Issues:0

QuantumCircuits-C

A C-based implementation of the Quantum Circuit model

Language:CStargazers:0Issues:0Issues:0

streamly-extras

License:BSD-3-ClauseStargazers:0Issues:0Issues:0