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/comby-python
Python bindings for Comby
ChrisTimperley/ChrisTimperley.github.io
The source code for my personal website.
ChrisTimperley/dockerblade
An API for performing Python standard library operations on Docker containers (e.g., subprocess, io, os, shutil).
ChrisTimperley/lcovparser.py
A pure Python parser for LCOV info files
ChrisTimperley/pyroglyph
Simple and elegant real-time text-based UIs for Python
ChrisTimperley/sourcelocation.py
Simple data structures for representing source code locations
ChrisTimperley/acme.sh
A pure Unix shell script implementing ACME client protocol
ChrisTimperley/audiocraft
Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable music generation LM with textual and melodic conditioning.
ChrisTimperley/BasicWebApp
ChrisTimperley/Carcassonne
A digital version of the board game Carcassonne, implemented in Java. This desktop computer game supports up to five players at the same time (shared-screen multiplayer mode).
ChrisTimperley/docker-llvm
Provides an Alpine-based Docker image with Clang and LLVM 11, built from source
ChrisTimperley/docker-transmission-openvpn
Docker container running Transmission torrent client with WebUI over an OpenVPN tunnel
ChrisTimperley/dotfiles
A collection of useful Unix configuration files
ChrisTimperley/FLP-Inventory
A consulting project artifact for the Foster Love Project organization
ChrisTimperley/go
The Go programming language
ChrisTimperley/haros
H(igh) A(ssurance) ROS - Static analysis of ROS application code.
ChrisTimperley/klee
KLEE Symbolic Execution Engine
ChrisTimperley/openvpn-install
Set up your own OpenVPN server on Debian, Ubuntu, Fedora, CentOS or Arch Linux.
ChrisTimperley/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
ChrisTimperley/program-dependence-graph
A multithreading construction of program dependence graph
ChrisTimperley/Pyndemic
A future digital version of Pandemic board game. Our Trello: https://trello.com/b/lDXdJGEX/pyndemic (rus)
ChrisTimperley/se-artifact-sharing
Provides the accompanying artifact for "Understanding and Improving Artifact Sharing in Software Engineering Research".
ChrisTimperley/serenity
The Serenity Operating System 🐞
ChrisTimperley/turtlebot3
ROS packages for Turtlebot3
ChrisTimperley/turtlebot3_simulations
Simulations for TurtleBot3
ChrisTimperley/VulnLoc
ChrisTimperley/VulnLoc-1
ChrisTimperley/wagtail
A Django content management system focused on flexibility and user experience
ChrisTimperley/yt-dlp
A youtube-dl fork with additional features and fixes
ChrisTimperley/zlib
A massively spiffy yet delicately unobtrusive compression library.