This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ''' | |
| 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 |
jesusjda
/ widening_with_token_ppl.cc
Created
November 6, 2017 13:25
PPL Example of widening with tokens
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // 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
/ 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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /*! 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
/ cv-autologin.user.js
Last active
August 29, 2015 14:13
— forked from pblocz/cv-autologin.user.js
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /*! 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* |