Skip to content

Instantly share code, notes, and snippets.

@gcanti
gcanti / GADT.ts
Last active September 23, 2022 10:55
Approximating GADTs in TypeScript
// Adapted from http://code.slipthrough.net/2016/08/10/approximating-gadts-in-purescript/
import { Kind, URIS } from 'fp-ts/lib/HKT'
import { URI } from 'fp-ts/lib/Identity'
import { identity } from 'fp-ts/lib/function'
// ------------------------------------------
// Leibniz
// ------------------------------------------
@romualdbassinot
romualdbassinot / checklist.py
Last active August 29, 2015 14:08
First checklist generator for Eskobar.
class Tree: # Définition de notre classe Treee
"""Classe définissant une Aasemblage caractérisée par :
- sa racine
- noeuds
- son âge
def __init__(self): # Notre méthode constructeur
"""Pour l'instant, on ne va définir qu'un seul attribut"""
self.nom = "Dupont"
@ricardo-rossi
ricardo-rossi / ElasticSearch.sh
Last active February 25, 2025 22:09
Installing ElasticSearch on Ubuntu 14.04
#!/bin/bash
### USAGE
###
### ./ElasticSearch.sh 1.7 will install Elasticsearch 1.7
### ./ElasticSearch.sh will fail because no version was specified (exit code 1)
###
### CLI options Contributed by @janpieper
### Check http://www.elasticsearch.org/download/ for latest version of ElasticSearch
ZSH_THEME_GIT_PROMPT_PREFIX="%{$reset_color%}%{$fg[cyan]%}["
ZSH_THEME_GIT_PROMPT_SUFFIX="]%{$reset_color%}"
ZSH_THEME_GIT_PROMPT_DIRTY="%{$fg[red]%}*%{$reset_color%}"
ZSH_THEME_GIT_PROMPT_CLEAN=""
#Customized git status, oh-my-zsh currently does not allow render dirty status before branch
git_custom_status() {
local cb=$(current_branch)
if [ -n "$cb" ]; then
echo "$(parse_git_dirty)$ZSH_THEME_GIT_PROMPT_PREFIX$(current_branch)$ZSH_THEME_GIT_PROMPT_SUFFIX"
@romualdbassinot
romualdbassinot / problemsWithrakedbmigrate
Created October 13, 2012 11:23
Problèmes liés à des changements locaux
C:\Users\romu\Documents\projects\ohMyWishList\ohmywish>git pull origin master &&
rake db:migrate:reset
remote: Counting objects: 173, done.
remote: Compressing objects: 100% (120/120), done.
remote: Total 128 (delta 59), reused 0 (delta 0)
Receiving objects: 64% (82/128)
Receiving objects: 100% (128/128), 61.38 KiB, done.
Resolving deltas: 100% (59/59), completed with 20 local objects.
From filmsdocumentaires.com:git
* branch master -> FETCH_HEAD
@romualdbassinot
romualdbassinot / trace
Created October 3, 2012 05:57
problem with bundle exec rake
C:\Users\romu\Documents\projects\ohMyWishList\ohmywish>bundle exec rake db:migra
te --trace
** Invoke db:migrate (first_time)
** Invoke environment (first_time)
** Execute environment
** Invoke db:load_config (first_time)
** Execute db:load_config
** Execute db:migrate
== DeviseCreateUsers: migrating ==============================================
-- create_table(:users)
@loicdescotte
loicdescotte / iteratees_humains.md
Last active October 10, 2015 17:47
Play2 : Les Iteratees expliqués aux humains... francophones!

#Play2 : Les Iteratees expliqués aux humains... francophones!

Disclaimer : Ce qui suit est la traduction d'un article anglophone paru sur le blog mandubian.com

Vous pouvez retrouver l'article original ici

Vous avez probablement remarqué une nouvelle fonctionnalité intrigante de Play2 nommée Iteratee (ainsi que ses compagnons Enumerators et Enumeratee). Le but de cet article est d'essayer de rendre le concept d'Iteratee compréhensible pour le plus grand nombre avec des arguments simples, en évitant l'approche mathématique / fonctionnelle.

Cet article ne prétend pas tout expliquer à propos des Iteratee / Enumerator / Enumeratee mais traite plutôt les idées qui se cachent derrière.

@pfulton
pfulton / sass-compass-resources.txt
Last active May 30, 2016 12:51
Sass & Compass Resources
Sass and Compass Resources
=====================================================
***ONLINE***
> Official: http://sass-lang.com
> Official: http://compass-style.org
> http://thesassway.com
@ryanflorence
ryanflorence / cs-iife.coffee
Created September 29, 2011 19:10
CoffeeScript Immediately Invoked Function Expressions
increment = do ->
x = 0
->
x++
@alexander-yakushev
alexander-yakushev / tetris.clj
Created September 10, 2011 00:28
Tetris implementation in Clojure
(ns tetris.core
(:import (java.awt Color Dimension BorderLayout)
(javax.swing JPanel JFrame JOptionPane JButton JLabel)
(java.awt.event KeyListener))
(:use clojure.contrib.import-static deflayout.core
clojure.contrib.swing-utils)
(:gen-class))
(import-static java.awt.event.KeyEvent VK_LEFT VK_RIGHT VK_DOWN VK_UP VK_SPACE)