🤓

Jesús J. Doménech jesusjda

🤓

jesusjda / cv-autologin.user.js

Last active August 29, 2015 14:13 — forked from pblocz/cv-autologin.user.js

	/! cv-autologin.user.js v1.0 \| (c) 2014 Pablo Cabeza \| MIT license: http://opensource.org/licenses/mit-license.php /

	// ==UserScript==
	// @name cv-autologin
	// @namespace https://gist.github.com/2b50eaf5e4912cbf8d35
	// @version 1.0
	// @description To login automatically into UCM unified login
	// @author Pablo Cabeza
	// @include https://sso.ucm.es/simplesaml/module.php/userpasswordcaptcha/loginuserpass.php*
	// @include http://www.ucm.es/campusvirtual*

jesusjda / ELPRank.user.js

Last active February 17, 2016 12:31 — forked from pblocz/ELPRank.user.js

Tampermonkey script to find UCM ELP Sakai forums posts ranking, use from *forums* tab, or else it won't work

	/*! ELPRank.user.js v1.3 \| (c) 2014 Pablo Cabeza
	* license: http://opensource.org/licenses/mit-license.php
	*/

	// ==UserScript==
	// @name ELPRank
	// @namespace https://gist.github.com/43dc185975386ab5eedf
	// @version 1.3
	// @description To find UCM ELP Sakai forum posts ranking, use from forums tab, or else it won't work
	// @author Pablo Cabeza

jesusjda / widening_with_token_ppl.cc

Created November 6, 2017 13:25

PPL Example of widening with tokens

	// Created by Samir Genaim on 13/02/2017.
	// Modified by Jesus Domenech on 06/11/2017.
	//
	// compile with:
	// g++ widening_with_token_ppl.cc -I/usr/local/src/ppl-1.2/src -I/usr/local/src/ppl-1.2 -I/opt/local/include -L/opt/local/lib -lppl -lgmp
	#include <iostream>
	#include "ppl_header.hh"
	using namespace std;
	void
	print_constraints(const Constraint_System& cs,

jesusjda / classify.py

Created July 15, 2019 13:37

Classifier

	'''
	Created on Jul 15, 2019

	@author: Jesus Doménech
	@email [email protected]
	'''

	# TO INSTALL: run following commands
	# pip3 install -U sklearn numpy
	# - if you want to plot you will also need matplotlib