Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Language packages

Showing projects tagged as Formal Methods and Language

  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel

  • improve

    8.4 0.0 Haskell
    An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.

  • tptp

    4.4 0.0 Haskell
    Parser and pretty printer for the TPTP language

  • acl2

    3.6 0.0 Haskell
    Writing and calling ACL2 from Haskell.