Pinned Repositories
BugHunter
A data mining tool for studying bugs in C programs
comby-python
Python bindings for Comby
dockerblade
An API for performing Python standard library operations on Docker containers (e.g., subprocess, io, os, shutil).
TurtleBot.Dockerfile
Provides a Dockerfile for TurtleBot (to be run on hardware), built on top of ROS Indigo
Wallace.jl
High-performance evolutionary computation in Julia.
roswire
A library for static and dynamic analysis of ROS applications via Docker 🔌
robust
A dataset of 200+ bugs in the Robot Operating System for BugZoo
BugZoo
Keep your bugs contained. A platform for studying historical software bugs.
Darjeeling
Language-independent, search-based program repair -- just your cup of tea! ☕
ChrisTimperley's Repositories
ChrisTimperley/darjeeling-ardupilot
An ArduPilot plugin for the Darjeeling program repair framework
ChrisTimperley/fluffycow
A small and powerful DSL for generating complex random objects in Python 🐄
ChrisTimperley/apodora
WIP: A static analysis framework for Python
ChrisTimperley/aspell
ChrisTimperley/cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
ChrisTimperley/comby
A tool for changing code.
ChrisTimperley/defects4j
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
ChrisTimperley/depthimage_to_laserscan
Converts a depth image to a laser scan for use with navigation and localization.
ChrisTimperley/dronekit
DroneKit-Python library for communicating with Drones via MAVLink.
ChrisTimperley/freqtrade-java
Simple High Frequency Trading Bot for crypto currencies in Java
ChrisTimperley/genprog4java
ChrisTimperley/Houston
Automated system testing for autonomous vehicles
ChrisTimperley/interpreter-bugs
Fuzzing results for various interpreters.
ChrisTimperley/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
ChrisTimperley/mavear
Record-and-replay for MAVLink
ChrisTimperley/requests
A simple, yet elegant HTTP library.
ChrisTimperley/rgtm_rosdistro_caches
rosinstall_generator_time_machine caches (https://github.com/rosin-project/rosinstall_generator_time_machine)
ChrisTimperley/ros-transmogrifier
ChrisTimperley/rosinstall_generator_time_machine
A simple bash script to generate rosinstall files 'from the past'
ChrisTimperley/sm64
A Super Mario 64 decompilation, brought to you by a bunch of clever folks.
ChrisTimperley/SpecMiners.py
A simple Python wrapper around several popular specification mining tools
ChrisTimperley/srcType
Type resolution system based on srcML
ChrisTimperley/start-cli
A command-line interface for START
ChrisTimperley/start-core
Provides a test harness for the ArduPilot system used by START
ChrisTimperley/start_image
Builds and manages the Docker images used by START
ChrisTimperley/start_repair
ChrisTimperley/start_stack
ChrisTimperley/TerrariaClone
🔥 An incomprehensible hellscape of spaghetti code.
ChrisTimperley/Ultimate-Monopoly-Online-Game
Comp 302 Software Engineering - Term Project . Applied Design Patterns
ChrisTimperley/youtube-dl
Command-line program to download videos from YouTube.com and other video sites