htdebeer/LTLChecker htdebeer/LTLChecker

  • This repository has been archived on 04/May/2024
  • Stars
    star
    2
  • Language
    Java
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
htdebeer/LTLChecker
github

htdebeer

Reviews

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

Repository Details

The LTL Checker, a ProM framework plug-in

More Repositories

1

pandocomatic

Automate the use of pandoc
Ruby
155
star
2

SVG-cards

A set of playing cards in SVG (now also with a rendering in PNG)
146
star
3

paru

Control pandoc with Ruby and write pandoc filters in Ruby
Ruby
37
star
4

paru-filter-collection

A collection of pandoc filters written in Ruby and paru
Ruby
8
star
5

paja

Pandoc wrapped around in JavaScript
JavaScript
6
star
6

symbol2unicode

Generate unicode symbols from similar ascii character combinations
JavaScript
6
star
7

scripts

Some scripts I wrote to automate some tasks "around the house"
Ruby
6
star
8

playing_cards

A JavaScript library for creating card games
JavaScript
4
star
9

twenty-one-pips

A JavaScript Dice Game Engine for Creating Dice Games
JavaScript
2
star
10

svg-cards-to-png

Convert SVG-cards to PNG
JavaScript
2
star
11

virtual_botanical_laboratory

Virtual Botanical Laboratory
JavaScript
2
star
12

PhD-DE3

Software used during my third study on teaching primary calculus
JavaScript
1
star
13

latex2format

Convert LaTeX file to ODT, DOC, or PDF (outdated)
Ruby
1
star
14

PasPandoc

A pandoc wrapper written in object Pascal
Pascal
1
star
15

flaskfiller

FlaskFiller is a learning tool for primary education to explore instantaneous speed in the context of filling glassware
HTML
1
star