Skip to content
View ldandrade's full-sized avatar
3 followers · 18 following

Block or report ldandrade

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ldandrade/README.md

Pinned Loading

  1. adena adena Public

    ADENA is a Proof Assistant for Logic and Proof Theory using Natural Deduction

    1

  2. gcol-alg-selection gcol-alg-selection Public

    Source codes for the experiments conducted during the development of the Master's degree dissertation: Applying Machine Learning on Algorithm Selection for the Graph Coloring Problem.

    C# 1

  3. home-sentinel home-sentinel Public

    Home Sentinel is a surveillance automation solution that captures RTSP stream from a NVR and analyze it detecting people, vehicles and animals.

    1

  4. Irrigatus Irrigatus Public

    Xamarin Cross-platform App to control an Arduino relay station

    C# 1