HallaSurvivor/model-checker HallaSurvivor/model-checker

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HallaSurvivor/model-checker
github

HallaSurvivor

Reviews

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

Repository Details

A semidecidable Model Checker for arbitrary synchronous models

More Repositories

1

Haskell-Python-Interop-Tutorial

A Tic Tac Toe game to teach the basics of passing Python lists to Haskell code.
Python
2
star
2

dotfiles

A detailed look into how I use a computer
Lua
1
star
3

hsClac

A RPN calculator in the terminal
Haskell
1
star
4

LanguageExpander

Takes a description of (a family of) extensions by definition, and outputs a program that converts between the extensions
Haskell
1
star