Pinned Repositories
diggy-hole
A HTML5 dwarf digging game
avsim
Autonomous Vehicle Traffic Simulation
cs-teaching-logistics
Tools for teaching computer science classes
EnclaveResearch
Listing of Enclave/TEE Research for Untrusted Privileged Software and Hardware
GameDevelopmentProjects
Projects for Game Development Class
invasion
2D Alien-Invasion Web game
js-rts-engine
JavaScript, 2D, Real-Time Strategy Game Engine
MercuryRobotics
Mercury Robotic Competition 2015
retro.js
A JavaScript library/boilerplate for creating retro-looking, pixelated, HTML5 Canvas projects.
SecureBuildingAutomationSystems
Proof of Concept seL4-Based Building Automation System
RichardHabeeb's Repositories
RichardHabeeb/EnclaveResearch
Listing of Enclave/TEE Research for Untrusted Privileged Software and Hardware
RichardHabeeb/avsim
Autonomous Vehicle Traffic Simulation
RichardHabeeb/SecureBuildingAutomationSystems
Proof of Concept seL4-Based Building Automation System
RichardHabeeb/usf-registrar-scraper
Automate the process of filling out the USF class search form for CSE Grad students and professors.
RichardHabeeb/cs-teaching-logistics
Tools for teaching computer science classes
RichardHabeeb/biometrics-cis6930-proj1
Simple face detection and feature extraction in OpenCV.
RichardHabeeb/byte-unixbench
Automatically exported from code.google.com/p/byte-unixbench
RichardHabeeb/camkes-package-manager
Easily manage components and dependencies for a seL4 CAmkES application.
RichardHabeeb/camkes-tool
The main CAmkES tool
RichardHabeeb/CAP5625-Project1
Artificial Intelligence - Project 1 - A*
RichardHabeeb/CAP5625-Project2
Expert System for IT Repair in CLIPS
RichardHabeeb/compsci-assignment-manager
An education tool for managing software project submission and grading.
RichardHabeeb/embedded-resources
Embedded Artistry Templates, Documents, and Source Code
RichardHabeeb/InsecureBuildingAutomationSystem
Demo Implementation of a Simple and Insecure Model Distrubuted Automation System
RichardHabeeb/laverna
Laverna is a JavaScript note taking application with Markdown editor and encryption support. Consider it like open source alternative to Evernote.
RichardHabeeb/libplatsupport
OS independent basic driver library (mostly timers, serial, clocks)
RichardHabeeb/linux
RichardHabeeb/local33-action-form
RichardHabeeb/materialize
Materialize, a CSS Framework based on Material Design
RichardHabeeb/QLemmas
Useful lemmas and theorems for rational numbers (Q) in Coq
RichardHabeeb/richardhabeeb.github.io
RichardHabeeb/ScienceDMZ
RichardHabeeb/scripts
RichardHabeeb/seL4
The seL4 microkernel
RichardHabeeb/sel4-tutorials
RichardHabeeb/sel4-tutorials-manifest
RichardHabeeb/sel4bench-manifest
Manifest of the seL4bench project, which contains microbenchmarks for seL4.
RichardHabeeb/Spotify-Ad-Blocker
EZBlocker - A Spotify Ad Blocker for Windows
RichardHabeeb/student-appointments
A simple web server for making appointments with a weekly policy.
RichardHabeeb/u-boot
"Das U-Boot" Source Tree