Pinned Repositories
cere
CERE: Codelet Extractor and REplayer
JonesForth-arm
ase_lectures
Lectures and Labs for the Embedded Systems class at MIHPS
ask
Adaptive Sampling Kit (a mirror from http://code.google.com/p/adaptive-sampling-kit/)
bibjekyll
A bibtex plugin for Jekyll (based on bibtex2html)
compiler-course
irvm
IRVM: A Virtual Machine for Andrew W. Appel's Tree Intermediate Representation
JonesForth-arm
similar
Groups text files in a directory by similarity.
verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
pablooliveira's Repositories
pablooliveira/bibjekyll
A bibtex plugin for Jekyll (based on bibtex2html)
pablooliveira/irvm
IRVM: A Virtual Machine for Andrew W. Appel's Tree Intermediate Representation
pablooliveira/compiler-course
pablooliveira/srcomputetrees
pablooliveira/td_archi_uvsq
Supports TD architecture des ordinateurs UVSQ (http://www.sifflez.org/lectures/archi-ord/)
pablooliveira/amc2moodle
amc2moodle, is an automatic tool to convert multiple choice quiz between auto-muliple-choice LaTeX format and moodle XML format.
pablooliveira/bgl
Tp pour le cours de Bases du Génie Lociel en M1 CHPS
pablooliveira/cere
CERE: Codelet Extractor and REplayer
pablooliveira/chps
Ressources communes entre les Masters Calcul Haute Performance et Simulation Français
pablooliveira/cours-calcul-numerique
Cours M1 CHPS Calcul Numérique
pablooliveira/interflop
pablooliveira/language-bison-flex
Bison and Flex files highlighting
pablooliveira/nom
Rust parser combinator framework
pablooliveira/ophirofox
Une extension pour navigateurs qui permet de lire les articles du monde.fr sur son compte europresse ENS
pablooliveira/pandoc-dot2tex-filter
Render and embed graphs by writing them in dot notation. Renders to PGF/TikZ
pablooliveira/pandoc-filter-graphviz
Interpret '~~~ graphviz' bloc as a call to graphviz software and substritude text with produced picture
pablooliveira/pulseaudio-dlna
A lightweight streaming server which brings DLNA / UPNP and Chromecast support to PulseAudio and Linux
pablooliveira/qmckl
Quantum Monte Carlo Kernel Library
pablooliveira/reddit2eink
Read your favorite subreddit's latest posts and comments on an e-ink device.
pablooliveira/SEA
Cours de Systèmes d'Exploitation Avancés à l'ISTY
pablooliveira/Sherman-Morrison
Sherman-Morrison-based matrix-inversion algorithms based on the work of P. Maponi, doi:10.1016/j.laa.2006.07.007
pablooliveira/sifflez.org
pablooliveira/stability-impact
pablooliveira/stability-mca
Exploration of Montecarlo Arithmetic analysis for evaluating and correcting the stability of tools in neuroimaging
pablooliveira/syntax-highlighting
Syntax highlighting Engine for Structured Text and Code.
pablooliveira/variance-sr
pablooliveira/verificarlo
A tool for automatic Montecarlo Arithmetic analysis.
pablooliveira/verificarlo-jupyter
An interactive verificarlo docker image
pablooliveira/verificarlo-short-demo
Jupyter notebook highlighting the features of Verificarlo
pablooliveira/verrou
floating-point errors checker