christimperley Goto Github PK

acme.sh

A pure Unix shell script implementing ACME client protocol

afrl-start-yocto

Provides a Yocto configuration for START

angelix

Automated program repair tool based on symbolic execution and program synthesis

apodora

WIP: A static analysis framework for Python

ardu-demo-bugs

Instructions for demonstration for 13th January, 2018 AFRL PI meeting.

aspell

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.

awesome-linux-cli

Links to a bunch of awesome Linux utilities

basicwebapp

brass.dockerfile

brasscomms

bughunter

A data mining tool for studying bugs in C programs

bugzoo-api-docs

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).

cartographer

Cartographer is a system that provides real-time simultaneous localization and mapping (SLAM) in 2D and 3D across multiple platforms and sensor configurations.

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

chessocket

A HTML5/Websocket-based Chess implementation with support for local and server multiplayer as well as AI opponents.

christimperley.github.io

The source code for my personal website.

comby

A tool for changing code.

comby-python

Python bindings for Comby

cp-gazebo-p15

cp2-repair-target

daikon

Dynamic detection of likely invariants

darjeeling-ardupilot

An ArduPilot plugin for the Darjeeling program repair framework

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

depthimage_to_laserscan

Converts a depth image to a laser scan for use with navigation and localization.

docker-llvm

Provides an Alpine-based Docker image with Clang and LLVM 11, built from source

docker-py

A Python library for the Docker Engine API

docker-transmission-openvpn

Docker container running Transmission torrent client with WebUI over an OpenVPN tunnel

dockerblade

An API for performing Python standard library operations on Docker containers (e.g., subprocess, io, os, shutil).