jilljenn

#!/usr/bin/python
import sys
import os


# usage: lrc2srt.py [directory]
# will recusively convert all lrc files to srt in directory

def conv(lrcPath, srtPath):
    with open(lrcPath) as lrc:

jilljenn

from urllib.request import urlopen
from datetime import datetime
import os


page = urlopen('https://www.inria.fr/institut/carrieres-metiers/offres/charges-et-chargees-de-recherche-de-classe-normale/admission')
admission = page.read().decode('utf8')

page = urlopen('https://www.inria.fr/institut/carrieres-metiers/offres/charges-et-chargees-de-recherche-de-classe-normale/admissibilite')
admissibility = page.read().decode('utf8')

jilljenn

from urllib.request import urlopen
from urllib.parse import urlencode
from bs4 import BeautifulSoup
import json
import re

# Get your API key at http://developer.rottentomatoes.com
RT_API_KEY = ""

jilljenn

type 'a arbre = N of ('a * 'a arbre) list

let read_file filename =
    let chan = open_in filename in
    let mots = ref [] in
    try while true do
        mots := input_line chan::!mots;
    done; []
    with End_of_file -> close_in chan; !mots

jilljenn

/* Example: https://twitter.com/jjvie/status/500613516492283904 */

<style>
body {
    background: url('cat.jpg') no-repeat;
}

div {
    position: absolute;
    font-size: 42px;