Skip to content

Instantly share code, notes, and snippets.

Théophile Cailliau FliiFe

Block or report user

Report or block FliiFe

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
FliiFe /
Created Mar 21, 2019
A quick and dirty script to transform ctan documentation pdf to devhelp booklet
#!/usr/bin/env fish
# Smelly code ahead
set file $argv[1]
set bn (basename $file | rev | cut -d. --complement -f1 | rev)
set pdf2htmlEX docker run -ti --rm -v (pwd):/pdf bwits/pdf2htmlex pdf2htmlEX
$pdf2htmlEX --printing 0 --embed-outline 0 --zoom 1.2 $file

Keybase proof

I hereby claim:

  • I am fliife on github.
  • I am fliife ( on keybase.
  • I have a public key ASDF_klGxhU0wwwCLYGALxTgbFoBHRdLCRbkcBDVus4_Bwo

To claim this, I am signing this object:

FliiFe /
Created May 10, 2017
A base16-shell script to configure your terminal.

Jay base16-shell

This script is made to be used along base16-shell. Just put it in scripts/ and use jay as the colorscheme.

I take no credit for this, full credit is given to josuegaleas

View designer.html
<link rel="import" href="../core-icon-button/core-icon-button.html">
<link rel="import" href="../core-toolbar/core-toolbar.html">
<link rel="import" href="../core-header-panel/core-header-panel.html">
<link rel="import" href="../paper-tabs/paper-tabs.html">
<link rel="import" href="../paper-tabs/paper-tab.html">
<polymer-element name="my-element">
FliiFe / bruteforce-self-descriptive.js
Created Jan 8, 2016
Bruteforcing the self-descriptive number.
View bruteforce-self-descriptive.js
/*jslint node: true */
'use strict';
//Initialize vars
var value = '00000';
var int = 0;
var finalString = "";
//Main code
FliiFe / self-descriptive.js
Last active Jan 8, 2016
The Self Descriptive Number. James Grime's/Matt Parker "challenge".
View self-descriptive.js
//You can ignore this, this is for the editor.
/*jslint node: true */
'use strict';
//Initialize vars
var visited = [];
var first = '0000000000';
var alternativeMethod = false;
var result = first; //Should get to 6210001000
You can’t perform that action at this time.