- Porto, Portugal
- https://tiagoc.info
- @tiago_jlC
Highlights
- Pro
Block or Report
Block or report tiagoc
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
EmergencyDecisionSystem
EmergencyDecisionSystem PublicA VDM++ system to help managing emergency calls, designed with INEM (http://www.inem.pt/CODU) protocols in mind. For a Formal Methods in Software Engineering college class.
-
-
plog-izzi
plog-izzi PublicCollege project for Logic Programming. Consists on using restriction logic for solving a puzzle named Izzy.
Prolog
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.