michiari/ppl michiari/ppl

  • Stars
    star
    12
  • Rank 1,591,872 (Top 32 %)
  • Language
    Haskell
  • Created about 5 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
michiari/ppl
github

michiari

Reviews

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

Repository Details

Exercise classes for the course Principles of Programming Languages at Politecnico di Milano.

More Repositories

1

POMC

A model checker for POTL, a temporal logic for expressing context-free properties.
Haskell
2
star
2

piacere-mc-openapi

PIACERE DOML Model Checker
Python
1
star