MasWag/satysfi-parallel MasWag/satysfi-parallel

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Makefile
  • License
    MIT License
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MasWag/satysfi-parallel
github

MasWag

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Typesetting two texts parallel

More Repositories

1

pandoc-satysfi-template

A pandoc custom writer and template for SATySFi
Lua
9
star
2

monaa

A Tool for Timed Patten Matching with Automata-Based Acceleration
C++
9
star
3

cv-satysfi

Curriculum Vitae class in SATySFi
JavaScript
6
star
4

qtpm

An experimental implementation of Quantitative Timed Pattern Matching
C++
5
star
5

SyMon

A tool for SYmbolic MONitoring
C++
4
star
6

FalCAuN

Falsification of CPS via Automata Learning
Jupyter Notebook
3
star
7

asmcpp

A Simple Monitor generator for C++ programs
Shell
2
star
8

dockerfiles

Dockerfile
2
star
9

ParamMONAA

A Tool for Parametric Timed Patten Matching with Automata-Based Acceleration
C++
2
star
10

decide-buchi

Haskell
1
star
11

timed-pattern-matching

A benchmark of timed pattern matching
C++
1
star
12

academic-cv

TeX
1
star
13

XPubLiCon

An XML-based publication list converter
XSLT
1
star
14

visualize-monaa-dot

Translate MONAA's dot language to the dot language recognizable by Graphviz.
Haskell
1
star
15

pyreversi

A pure python implementation of reversi (and a variant)
Jupyter Notebook
1
star
16

chisel-sample

chisel's sample program
Scala
1
star
17

org-export-todoist

Export org-agenda as tasks of Todoist
Emacs Lisp
1
star
18

arith_homfa

A prototype toolkit for oblivious online STL (signal temporal logic) monitoring
C++
1
star