jesusjda
Mathematician and Computer Eng. || @abstools @costa-group @MasterInformatica
@costa-group @abstools @MasterInformatica
Pinned Repositories
easyinterface
A web frontend for the ABS toolchain
iRankFinder
iRankFinder: examples database, website, comparative tables... Source -> http://github.com/jesusjda/pyRankFinder
glat
General Language for Analysis on Threads
pyLPi
Python: Linear Programming Interface (ppl,z3)
pyParser
Transition System laguage Parser
pyRankFinder
Ranking Functions Finder
jesusjda's Repositories
jesusjda/pyParser
Transition System laguage Parser
jesusjda/pyRankFinder
Ranking Functions Finder
jesusjda/glat
General Language for Analysis on Threads
jesusjda/pyLPi
Python: Linear Programming Interface (ppl,z3)
jesusjda/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
jesusjda/bibtex-js
BibTeX-js can parse a BibTeX-file and render it as part of an HTML file. This way, you can easily add a list of publications to your private homepage or display a list of recommended publications for a seminar. The way the entries are display can be customized using a simple template system and CSS.
jesusjda/campaweb
Proyect to develop a web page to manage camps.
jesusjda/CompetitiveProgramming
Uva, Acr, Cater, ...
jesusjda/Coursera_react
Front-end web with read. Coursera course.
jesusjda/cygnus-hifi-prototype
jesusjda/cygnus-ux-interface-design
dsi documentation test
jesusjda/easyinterface-config
Configuration files for http://github.com/abstools/easyinterface
jesusjda/easypeople
jesusjda/easyresume
An automatic way to get your resume (CV)
jesusjda/easyscheduler
Easy Scheduler is a web application that allow us to schedule projects and task on an easy way
jesusjda/ICT
jesusjda/MachineLearning-Coursera
Machine Learning Course from Coursera https://www.coursera.org/learn/machine-learning
jesusjda/pdap
Declarative Programming - Master Computer Engineering - University Complutense of Madrid
jesusjda/pe
Partial evaluation for Prolog
jesusjda/pplpy
A Python wrapper for the Parma Polyhedra Library (PPL)
jesusjda/scrum-psm1-cheatsheet
📚 Professional Scrum Master 1 (PSM I) cheatsheet and guide to face assessment.
jesusjda/SMTPushdown
Parser, validator and translator for SMTLIB-based Pushdown Automata format.
jesusjda/starexec-master
jesusjda/UVA
Uva problems