Name: Pedro Ribeiro
Type: User
Company: University of York
Bio: Lecturer in Computer Science at the University of York, UK. Member of @UoY-RoboStar, collab @isabelle-utp. Previously RF @ PET, UoY.
Twitter: pefribeiro
Location: York, UK
Blog: https://www-users.cs.york.ac.uk/pfr/
Pedro Ribeiro's Projects
Copy of the CSP-Prover source.
Automatically exported from code.google.com/p/epsilonlabs
Utilities for running FDR via refines from the command-line
FME Industry webpage
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.
University of York Ruleset for EFF HTTPS Everywhere extension
Components for Verifying Hybrid Systems in Isabelle/HOL
Isabelle-HOL with TeXlive docker image
A Chrome extension to display Isabelle math.
Connect to network manager through dbus to execute command on connections change
Raspberry Pi motion vector detection program with OSD web interface.
pygments syntax highlighting in ruby
Maven archetype to build tycho-based eclipse plugins
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
weewx driver for software-defined radio