Discover @MasWag Open Source projects

Masaki Waga (@MasWag)

MasWag

Stars
62
Global Rank 293,356 (Top 11 %)
Followers 43
Following 28
Registered almost 12 years ago
Most used languages

C++
31.6 %

Jupyter Notebook
10.5 %

Haskell
10.5 %

Scala
5.3 %

Lua
5.3 %

JavaScript
5.3 %

TeX
5.3 %

Makefile 5.3 %

XSLT 5.3 %

Shell
5.3 %

Dockerfile
5.3 %

Emacs Lisp
5.3 %
Location 🇯🇵 Japan
Country Total Rank 6,214
Country Ranking

XSLT 31

Lua
136

Makefile 169

Haskell
304

Scala
480

TeX
533

Emacs Lisp
541

Dockerfile
662

C++
834

Jupyter Notebook
943

Shell
2,046

JavaScript
3,789

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

satysfi-parallel

Typesetting two texts parallel

qtpm

An experimental implementation of Quantitative Timed Pattern Matching

SyMon

A tool for SYmbolic MONitoring

FalCAuN

Falsification of CPS via Automata Learning

Jupyter Notebook

asmcpp

A Simple Monitor generator for C++ programs

dockerfiles

ParamMONAA

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

decide-buchi

timed-pattern-matching

A benchmark of timed pattern matching

academic-cv

XPubLiCon

An XML-based publication list converter

visualize-monaa-dot

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

pyreversi

A pure python implementation of reversi (and a variant)

Jupyter Notebook

chisel-sample

chisel's sample program

org-export-todoist

Export org-agenda as tasks of Todoist

arith_homfa

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