Skip to content
Pro
Block or report user

Report or block dixons-57

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block dixons-57

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. A tool for examining and decomposing delay-insensitive networks of modules based on process calculi specifications. Created in support of PhD thesis.

    Java

  2. A tool for examining and simulating the effects of various reversible and irreversible Self-Timed Cellular Automata. Created in support of PhD thesis.

    Java

  3. A tool for examining and simulating the set of valid execution behaviours for a given Prime Event Structure definition. Also generates state transition graphs. Created in support of master's degree.

    Java

  4. A simple bash script for Linux, which, given the IP address of a current tun-based OpenVPN connection on port 1197, manipulates the IP tables to ensure that no non-VPN-tunnel traffic is permitted.

    Shell

  5. A Node.js based program that acts as a server, and hosts a professional-looking website. Uses AJAX to seamlessly load content in the client's browser without page changes. Also uses a responsive UI…

    JavaScript

19 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
You can’t perform that action at this time.