4 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    ucb-bar/chiseltest

    The official testing library for Chisel circuits.

    Scala versions: 2.13 2.12 2.11
    152 33
  2. project logo

    epfl-lara/stainless

    Verification framework and tool for higher-order Scala programs

    Scala versions: 2.11
    322 33
  3. project logo

    verifx-prover/verifx

    The VeriFx automated verification language

    Scala versions: 2.13
    9 1
  4. project logo

    overlogged/sbt-stainless

    A sbt plugin for stainless users to verify code in sbt command line.

    Scala versions: 2.12
    sbt plugins: 1.0
    2 0