Ruben Gamboa's repositories
acl2-math-book
A book describing different formalizations of mathematical theorems in ACL2
acl2_jupyter
Jupyter Kernel for ACL2
acl2
ACL2 System and Books as Maintained by the Community
4820-slides
Slide Deck for UWyo COSC 4820, Database Systems I
python-projects-data-science
Book Based on the Python for Data Science Course at the University of Wyoming
rubengamboa.github.io
Home page for github.io
how-computers-work-book
Draft of How Computers Work by Rex Page and Ruben Gamboa
data-science-jhu-courses
Course materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1
machine-learning-project
Project for Coursera's Practical Machine Learning Course
hipparcos-hr-diagram
Hertzprung-Russell diagram from Hipparcos data.
hipparcos-hr-diagram-pitch
Slide deck "pitching" the Hipparcos HR Diagram tool
RepData_PeerAssessment1
Peer Assessment 1 for Reproducible Research
ExData_Plotting1
Plotting Assignment 1 for Exploratory Data Analysis
getting-data-project
Final Project for Coursera's "Getting and Cleaning Data" Course
ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
datasciencecoursera
Coursera Data Science Track Repository
datasharing
The Leek group guide to data sharing