Masaki Waga

pandoc-satysfi-template. A pandoc custom writer and template for SATySFi

monaa. A Tool for Timed Patten Matching with Automata-Based Acceleration

cv-satysfi. Curriculum Vitae class in SATySFi

FalCAuN. Falsification of CPS via Automata Learning

SyMon. A tool for SYmbolic MONitoring

qtpm. An experimental implementation of Quantitative Timed Pattern Matching

satysfi-parallel. Typesetting two texts parallel

OpenNI2. OpenNI2

LearnTA. C++ library for timed automata learning

dockerfiles. Dockerfile

homebrew-scientific. Homebrew Taps for my favorite scientific software

emacs-elfeed-cache. Locally save the enclosures of an Elfeed RSS feed entry

emacs-elfeed-sync. Synchronizing the Elfeed RSS feed reader's database index file across multiple devices

asmcpp. A Simple Monitor generator for C++ programs

ParamMONAA. A Tool for Parametric Timed Patten Matching with Automata-Based Acceleration

decide-buchi. Haskell

vmctl. Uniform interface to multiple virtual machines

timed-pattern-matching. A benchmark of timed pattern matching

visualize-monaa-dot. Translate MONAA's dot language to the dot language recognizable by Graphviz.

arith_homfa. A prototype toolkit for oblivious online STL (signal temporal logic) monitoring

elfeed-web-docker. HTML

XPubLiCon. An XML-based publication list converter

org-export-todoist. Export org-agenda as tasks of Todoist

academic-cv. TeX

pyreversi. A pure python implementation of reversi (and a variant)

chisel-sample. chisel's sample program

Bash3D. Bash de 3d Programming