pefribeiro
Lecturer in Computer Science at the University of York, UK. Member of @UoY-RoboStar, collab @isabelle-utp. Previously RF @ PET, UoY.
University of YorkYork, UK
Pinned Repositories
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
https-everywhere-yorkuni
University of York Ruleset for EFF HTTPS Everywhere extension
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
tick-tock-CSP
tick-tock-CSP model (Isabelle/HOL mechanisation + FDR encoding)
pefribeiro's Repositories
pefribeiro/https-everywhere-yorkuni
University of York Ruleset for EFF HTTPS Everywhere extension
pefribeiro/CSP-Prover
Copy of the CSP-Prover source.
pefribeiro/epsilonlabs
Automatically exported from code.google.com/p/epsilonlabs
pefribeiro/fdr-utils
Utilities for running FDR via refines from the command-line
pefribeiro/fme-industry
FME Industry webpage
pefribeiro/isabelle-hol-texlive
Isabelle-HOL with TeXlive docker image
pefribeiro/isabelle-theories
pefribeiro/matisa
A Chrome extension to display Isabelle math.
pefribeiro/utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
pefribeiro/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.
pefribeiro/Hybrid-Verification
Components for Verifying Hybrid Systems in Isabelle/HOL
pefribeiro/isabelle-hol-macos
pefribeiro/latex-theoremref
pefribeiro/network-manager-connection-action
Connect to network manager through dbus to execute command on connections change
pefribeiro/pikrellcam
Raspberry Pi motion vector detection program with OSD web interface.
pefribeiro/pygments.rb
pygments syntax highlighting in ruby
pefribeiro/tycho-eclipse-plugin-archetype
Maven archetype to build tycho-based eclipse plugins
pefribeiro/weewx-sdr
weewx driver for software-defined radio