Skip to content

Instantly share code, notes, and snippets.

View ssaavedra's full-sized avatar

Santiago Saavedra ssaavedra

61 followers · 21 following
View GitHub Profile
@ssaavedra
ssaavedra / run-why3.sh
Last active March 1, 2016 17:30
#!/bin/sh
# Author: Santiago Saavedra <s.saavedra@fdi.ucm.es>
# License: MIT
#
# Usage:
# 1. Set up Vagrant and VirtualBox
# 2. Download this file:
# curl https://gist.githubusercontent.com/ssaavedra/1ffa0a6f4b51cee04703/raw/run-why3.sh > run-why3.sh
# (or)
# wget https://gist.githubusercontent.com/ssaavedra/1ffa0a6f4b51cee04703/raw/run-why3.sh
@ssaavedra
ssaavedra / script.js
Last active December 27, 2015 18:58
EXT.get_keywords = function (tab) {
var keywords = [];
if(tab) {
chrome.tabs.executeScript(tab.id, {file:"js/keywords.js"},
(function(keywords) {
return function (res) {
var kw_str = res && res[0];
if (kw_str) {
keywords.push.apply(keywords, kw_str.split(","));
@ssaavedra
ssaavedra / proposal.html
Last active December 16, 2015 17:39
My proposal for GNOME at GSoC.
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<title>GSoC Proposal</title>
</head>
<body>
<pre>Hi, my name is Santiago Saavedra and I'm studying Computer Science in Spain.<br />I'll adhere to the format specified below for the proposal.&nbsp;</pre>
<pre>1) Please connect with a possible mentor for the project you are proposing early in the application process.
2) It's required that you at least fix one small bug in the module you are applying to work on for us to consider your application.
@ssaavedra
ssaavedra / test-http.c
Created April 23, 2013 15:12
/***************************************************************************
* Twitter client for the CLI. *
* Copyright (C) 2013 by Santiago Saavedra and Daniel Valcarce *
* <santiagosaavedra@gmail.com>, <danivalsil@gmail.com> *
* *
* This program is free software; you can redistribute it and/or modify *
* it under the terms of the GNU General Public License as published by *
* the Free Software Foundation; either version 2 of the License, or *
* (at your option) any later version. *
***************************************************************************/
@ssaavedra
ssaavedra / mpfr-test.c
Created April 2, 2013 20:29
#include <mpfr.h>
#include <gmp.h>
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char*argv[]) {
mpfr_t D, d, q, r;
mpfr_set_default_prec (53);
mpfr_set_emin (-1073); mpfr_set_emax (1024);