emartinm

emartinm's Stars

• emartinm/lsql

  Aplicación web para el aprendizaje de las bases de datos

  Language:Python34

• costa-group/forves

  Language:Coq111

• nur-ag/syltippy

  Spanish Word Syllabization in Python!

  Language:Python122

• aeflores/CoFloCo

  CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.

  Language:Prolog161

• emartinm/oracle-heroku-buildpack

  Heroku buildpack for setting up oracle

  Language:Shell1

• jul21unac/codigo

  Language:Python1

• demiourgoi/flink-check

  ScalaCheck for Apache Flink

  Language:Scala10

• ariesco/tweetSuccess

  Language:Jupyter Notebook1

• tamarit/edd

  Erlang Declarative Debugger

  Language:Erlang204

• Wizsmiles/TFG_UCM

  Language:Python3

• ferrivi14/TFG-Keystroke_Dynamics

  Language:Java1

• Kherdu/TFG

  Repositorio para el Trabajo Fin de grado de Rafael Caturla y Carlos Congosto

  Language:HTML12