Skip to content

Instantly share code, notes, and snippets.

View fedescarpa's full-sized avatar

Federico Scarpa fedescarpa

View GitHub Profile
-------------
-- Punto 1 --
data Sustancia
= Elemento {
nombre :: String,
simbolo :: String,
numeroAtomico :: Int,
grupo :: Grupo
}
@fedescarpa
fedescarpa / LaCasaDePdePEL.hs
Last active June 3, 2020 16:04
Resolución del Parcial de La Casa de Papel
module LaCasaDePdePEL where
import Text.Show.Functions
type Nivel = Int
type Habilidad = String
type Arma = Rehen -> Rehen
type Plan = Ladron -> Ladron
data Ladron = Ladron {
module TierraDeBarbaros where
{-
Tierra de Bárbaros
Rechapos! - En la tierra de Udrogoth los reyes bárbaros formaron un imperio de guerreros, dragones y magia.
Ahora marcharon a la guerra contra el mal y dejaron a sus herederos a cargo.... y bueno, hay que conformarse.
Sin embargo, nos encargaron confeccionar un programa en Haskell para manejar los asuntos del reino, y evitar
así el tener que gobernar.
@fedescarpa
fedescarpa / nginx.conf
Created April 10, 2018 20:01
Basic Nginx config file
user www-data;
worker_processes auto;
pid /run/nginx.pid;
events {
worker_connections 768;
multi_accept on;
}
http {
#!/bin/bash
set -e
GITHUB_USERNAME=$1
GITHUB_ORGANIZATION=$2
if [ -z $USERNAME ] || [ -z $ORGANIZATION ]; then
echo '[ERROR] Missing arguments. Usage: '
echo ''
[user]
name = <YOUR_NAME>
email = <YOUR_EMAIL>
[alias]
l = log --graph --color --decorate=short
st = status
ci = commit
br = branch
co = checkout
cp = cherry-pick
@fedescarpa
fedescarpa / LCD_Keypad.ino
Created November 2, 2017 00:23
Sketch para mapear teclado numerico a letras
#include <Keypad.h>
#include <LiquidCrystal.h>
const int ROWS = 4;
const int COLS = 3;
const char keys[ROWS][COLS] = {
{'*', '0', '#'},
{'7', '8', '9'},
{'4', '5', '6'},
const int ledError = 51;
const int enable = 52;
const int buzzer = 53;
const int fila1 = 31;
const int fila2 = 32;
const int fila3 = 33;
const int fila4 = 34;
const int columna1 = 41;
@fedescarpa
fedescarpa / battery-life.sh
Created February 11, 2017 19:10
Improve battery life
#!/bin/bash
battery_level=""
function battery() {
echo $(acpi -b | grep -oE "[0-9][0-9]?%" | grep -oE "[0-9]+")
}
function play_sound() {
paplay /usr/share/sounds/LinuxMint/stereo/window-slide.ogg &
@fedescarpa
fedescarpa / repo
Created August 9, 2016 14:07
Open current git repository in default browser
#!/bin/bash
GIT_REPO=$(git config -l | grep "remote.origin.url=git@")
HTTP_REPO=$(git config -l | grep "remote.origin.url=https://")
if [ -n "$GIT_REPO" ]; then
REPO=$(echo $GIT_REPO | awk 'BEGIN { FS = "git@" } { print $2 }' | awk 'BEGIN { FS = ":" } { print $1"/"$2 }')
else
if [ -n "$HTTP_REPO" ]; then
REPO=$(echo $HTTP_REPO | awk 'BEGIN { FS = "https://" } { print $2 }')