Pinned Repositories
TTS-Runtime-Ravenscar
Runtime extension to support time-triggered dispatching in Ravenscar
AdaML
Ada-tailored UML Modeling Language
advent-of-code
Advent of Code puzzle solutions
AirportSimulator
Airport simulator game for processing
dynamic-ruler
Emacs package to show a dynamic ruler that can be freely moved around the buffer, for measuring and positioning text.
elscreen-fr
Put (el)screen titles on window frame
mold
Meta-variable Operations for Lean Development
ob-ada-spark
persp-fr
Show perspective list in the GUI window frame
ubuntu-theme
Ubuntu color theme for Emacs 24
rocher's Repositories
rocher/AirportSimulator
Airport simulator game for processing
rocher/CellularPainter
rocher/SonicPainter
rocher/bretools
Basic R and External Tools
rocher/DataScienceSpCourseNotes
Compiled Notes for all 9 courses in the Coursera Data Science Specialization
rocher/datasharing
The Leek group guide to data sharing
rocher/ExData_Plotting1
Plotting Assignment 1 for Exploratory Data Analysis
rocher/getdata-006-1
Getting and Cleaning Data, course project
rocher/pok
POK kernel repository. Visit http://pok.tuxfamily.org
rocher/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
rocher/RepData_PeerAssessment1
Peer Assessment 1 for Reproducible Research
rocher/RepData_PeerAssessment2