pefribeiro

https-everywhere-yorkuni

University of York Ruleset for EFF HTTPS Everywhere extension

CSP-Prover

Copy of the CSP-Prover source.

epsilonlabs

Automatically exported from code.google.com/p/epsilonlabs

fdr-utils

Utilities for running FDR via refines from the command-line

fme-industry

FME Industry webpage

isabelle-hol-texlive

Isabelle-HOL with TeXlive docker image

isabelle-theories

matisa

A Chrome extension to display Isabelle math.

utp-main

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

hosts

Extending and consolidating hosts files from a variety of sources like adaway.org, mvps.org, malwaredomains.com, someonewhocares.org, yoyo.org, and potentially others. You can optionally invoke extensions to block additional sites by category.

Hybrid-Verification

Components for Verifying Hybrid Systems in Isabelle/HOL

isabelle-hol-macos

latex-theoremref

network-manager-connection-action

Connect to network manager through dbus to execute command on connections change

pikrellcam

Raspberry Pi motion vector detection program with OSD web interface.

pygments.rb

pygments syntax highlighting in ruby

tycho-eclipse-plugin-archetype

Maven archetype to build tycho-based eclipse plugins

weewx-sdr

weewx driver for software-defined radio