Skip to content
@epfl-lara

EPFL-LARA

Pinned

  1. stainless stainless Public

    Verification framework and tool for higher-order Scala programs

    Scala 349 50

  2. bolts bolts Public

    Bolts: Stainless Verified Scala Examples

    Scala 16 12

  3. lisa lisa Public

    Proof assistant based on first-order logic and set theory

    Scala 31 18

  4. inox inox Public

    Solver for higher-order functional programs

    Scala 88 20

  5. scala-smtlib scala-smtlib Public

    Forked from regb/scala-smtlib

    Scala library for parsing and printing the SMT-LIB format

    SMT 1

  6. scallion scallion Public

    LL(1) parser combinators in Scala

    Scala 56 15

Repositories

Showing 10 of 89 repositories
  • asn1scc Public Forked from ateleris/asn1scc

    ASN1SCC: An open source ASN.1 compiler for embedded systems

    epfl-lara/asn1scc’s past year of commit activity
    F# 0 58 0 0 Updated Aug 27, 2024
  • stainless Public

    Verification framework and tool for higher-order Scala programs

    epfl-lara/stainless’s past year of commit activity
    Scala 349 Apache-2.0 50 263 (1 issue needs help) 14 Updated Aug 26, 2024
  • bolts Public

    Bolts: Stainless Verified Scala Examples

    epfl-lara/bolts’s past year of commit activity
    Scala 16 Apache-2.0 12 3 4 Updated Aug 26, 2024
  • inox Public

    Solver for higher-order functional programs

    epfl-lara/inox’s past year of commit activity
    Scala 88 Apache-2.0 20 10 8 Updated Aug 22, 2024
  • lisa Public

    Proof assistant based on first-order logic and set theory

    epfl-lara/lisa’s past year of commit activity
    Scala 31 Apache-2.0 18 11 (1 issue needs help) 8 Updated Jul 23, 2024
  • stainless-site Public

    Stainless microsite

    epfl-lara/stainless-site’s past year of commit activity
    HTML 0 0 0 0 Updated May 14, 2024
  • compiler2024-labs-public Public
    epfl-lara/compiler2024-labs-public’s past year of commit activity
    Scala 2 4 0 0 Updated Apr 29, 2024
  • LongMap-SMT-queries Public archive

    Repository containing the SMT queries generated during the verification of the `LongMap`.

    epfl-lara/LongMap-SMT-queries’s past year of commit activity
    SMT 0 0 0 0 Updated Apr 25, 2024
  • PVS Public Forked from SRI-CSL/PVS

    The People's Verification System

    epfl-lara/PVS’s past year of commit activity
    Common Lisp 0 GPL-2.0 32 0 0 Updated Mar 28, 2024
  • leon Public

    The Leon system for verification, synthesis, repair

    epfl-lara/leon’s past year of commit activity
    Scala 162 49 24 8 Updated Mar 18, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…
Developer Program Member