Skip to content
View gmatht's full-sized avatar
5 followers · 2 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report gmatht

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
gmatht/README.md

John C. McCabe-Dansted's Profile 👋

LyX-GC (Perl)

A Grammar Checker for LyX and LaTeX. There is an online demo, and github repo.

ZeroSum Accounts Reconciliation Tool (Rust)

This tool is designed to help you match up one or more receipts with a single reimbursement. This means you can easily keep track of receipts you have not yet reimbursed and audit your books. See the Online WASM-based Demo or just Download.

TimeLogicUnify (OCaml)

A Collection of Theorem Provers for Temporal Logics.

The applications can also be used via online web apps without having to download or compile anyting. This git repository contains:

  1. unify [cgibin preview] A unified UI around various CTL* and BCTL* theorem provers, and an NL-BCTL* based rewrite system.
  2. mechecker [cgibin preview (under maintenance)] A Model Checker for General Linear Time
  3. batl [js preview] A simple OCaml Tableau for BATL* (and NL-BATL*)
  4. bctl [js preview] A simple OCaml Tableau for BCTL* (and NL-BCTL*)

The unified UI uses (4) above, and can also use tools by other authors such as:

  1. CTLStarTab: Various Java based Tableaux for CTL*, BCTL* and NL-BCTL*. These are the tableaux we gave uppercase names: CTL, BCTLOLD, BCTLNEW, BCTLHUE, BPATHUE and BPATH
  2. mlsolver: Hybrid Tableau for CTL* that requires a pgsolver

To fetch all dependances and compile on Ubuntu just enter ./build.sh. This was last tested on Ubuntu 14.04.

Jankey (Perl)

A Monkey Testing tool for GUIs. This is a program to spam millions of randomly generated key presses, and collect the crash results. See: github repo

Move Voters (OCaml)

MoveVoters: Interesting if you are into Voting Theory and Equilibria.

jsroom (JavaScript)

Render Dubois Red/Cyan 3D in JavaScript. online demo/LinuxConf photos

Pinned Loading

  1. lyx-gc lyx-gc Public

    A Grammar Checker for LyX and LaTeX

    Perl 26 6

  2. joshell joshell Public

    A Jumble Of SHELL scripts

    Python 7 4

  3. Jankey Jankey Public

    A bug finding tool that hammers a GUI with random keypresses until it crashes (then generates and refines a crash report)

    Shell 4

  4. jsroom jsroom Public

    Javascript based Wigglescopy (and other Stereoscopic 3D too)

    Perl

  5. MoveVoters MoveVoters Public

    Determines if a scoring rule has a Non-Convergent Nash Equilibrium

    OCaml

  6. TimeLogicUnify TimeLogicUnify Public

    A Collection of Theorem Provers for Temporal Logics

    OCaml 1