matiashrnndz

advanced-sql-queries

Advanced Oracle's SQL queries with data for testing.

arduino-alarm-to-eat

Alarm to Eat is an Arduino prototype that notifies you when you need to eat. [Project done in Nov 2016]

arduino-humidity-notifier

blp-examples

El propósito de los sistemas es poder entender de manera práctica las diferencias que existen en utilizar un sistema sin ningún nivel de seguridad (InsecureSystem) en comparación con otro sistema con un nivel de seguridad simple (SecureSystem). También mostrar que pueden existir vulnerabilidades en los sistemas seguros. Para esto se realizará un canal encubierto para transmitir un mensaje desde un sujeto con un nivel de autorización superior a otro sujeto con un nivel de autorización inferior (SecureSystemWithCovertChannel).

coupons-app

Microservices example that shows the transformation from a Monolith to a Microservice app.

flight-data-app

FlightData is data analysis software for USA airlines developed in Node.js and it was done as a subject's assignment on ORT.

google-docs-clone

Google Docs clone that was developed in Angular and C#.

google-photos-clone

Google Photos Clone app for Android. Backend API developed in C#.

programming-logic-with-dafny

Tesis: Lógica de Programación con Dafny

programming-logic-with-key-n-dafny

Lógica de Programación con KeY y Dafny

matiashrnndz/google-docs-clone

Google Docs clone that was developed in Angular and C#.

matiashrnndz/advanced-sql-queries

Advanced Oracle's SQL queries with data for testing.

matiashrnndz/arduino-alarm-to-eat

Alarm to Eat is an Arduino prototype that notifies you when you need to eat. [Project done in Nov 2016]

matiashrnndz/arduino-humidity-notifier

matiashrnndz/blp-examples

El propósito de los sistemas es poder entender de manera práctica las diferencias que existen en utilizar un sistema sin ningún nivel de seguridad (InsecureSystem) en comparación con otro sistema con un nivel de seguridad simple (SecureSystem). También mostrar que pueden existir vulnerabilidades en los sistemas seguros. Para esto se realizará un canal encubierto para transmitir un mensaje desde un sujeto con un nivel de autorización superior a otro sujeto con un nivel de autorización inferior (SecureSystemWithCovertChannel).

matiashrnndz/coupons-app

Microservices example that shows the transformation from a Monolith to a Microservice app.

matiashrnndz/flight-data-app

FlightData is data analysis software for USA airlines developed in Node.js and it was done as a subject's assignment on ORT.

matiashrnndz/google-photos-clone

Google Photos Clone app for Android. Backend API developed in C#.

matiashrnndz/programming-logic-with-dafny

Tesis: Lógica de Programación con Dafny

matiashrnndz/programming-logic-with-key-n-dafny

Lógica de Programación con KeY y Dafny

matiashrnndz/driving-lessons-app

Driving Lesson is a simple driving lesson web app done in PHP using Smarty framework and MySQL.

matiashrnndz/interpreters

Set of interpreters in Haskell. [Project done in Nov 2016]

matiashrnndz/plataformaAhoYCred

matiashrnndz/postgresql-historical-data

matiashrnndz/productor-consumidor

Problema Productor-Consumidor [Project done in Nov 2017]

matiashrnndz/r-examples

Ejemplo de uso de R para el cálculo de probabilidad de diversos sucesos, utilizando distribuciones conocidas.

matiashrnndz/scilab-examples

Ejemplo de uso de Scilab para simulacro de Proyectiles (Proyecto 1) y simulacro de Calor y Temperatura (Proyecto 2)

matiashrnndz/sql-voting-system

Project done on Nov 2018.

matiashrnndz/tensorflow

Projects done for Tensoflow Developer Professional Certification that DeepLearning.ai offers.