Skip to content

@epfl-lara EPFL-LARA

Change the repository type filter

All

    Repositories list

    101 repositories

    • dotty

      Public
      {d : Dotty with hasRefinements(d)} - Fork of Dotty
      Scala
      •
      Apache License 2.0
      •1.2k•0•0•0•Updated Jul 20, 2026Jul 20, 2026

    • bolts

      Public
      Bolts: Stainless Verified Scala Examples
      OCaml
      •
      Apache License 2.0
      •13•29•3•5•Updated Jul 16, 2026Jul 16, 2026

    • stainless

      Public
      Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
      scalaverificationproof-assistant
      scalaverificationproof-assistantz3model-checkingformal-methodsinoxsmtcvc4cvc5
      Scala
      •
      Apache License 2.0
      •58•401•304•29•Updated Jul 14, 2026Jul 14, 2026

    • LeanFlow

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•1•Updated Jul 11, 2026Jul 11, 2026

    • inox

      Public
      Solver for higher-order functional programs, used by Stainless
      Scala
      •
      Apache License 2.0
      •22•96•13•8•Updated Jul 8, 2026Jul 8, 2026

    • AutoformalizedProjects

      Public
      Fully autonomous Lean formalizations of mathematical papers generated by the LeanFlow agent harness.
      theorem-provingmathematicslean
      theorem-provingmathematicsleanformal-methodsformal-verificationai-agentsmathliblean4llmautoformalization
      HTML
      •
      Apache License 2.0
      •0•0•0•2•Updated Jul 2, 2026Jul 2, 2026

    • cs550

      Public
      1•3•0•0•Updated Jun 30, 2026Jun 30, 2026

    • LeanProbe

      Public
      Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
      pythonclimcp
      pythonclimcptheorem-provingproof-assistantleanmathliblean4coding-agentsmodel-context-protocol
      Python
      •
      MIT License
      •0•3•0•0•Updated Jun 27, 2026Jun 27, 2026

    • jordan-curve-theorem

      Public
      Lean
      •
      Apache License 2.0
      •0•2•0•0•Updated Jun 26, 2026Jun 26, 2026

    • lisa

      Public
      Proof assistant based on first-order logic and set theory
      Scala
      •
      Apache License 2.0
      •23•69•13•10•Updated Jun 18, 2026Jun 18, 2026

    • lattices-algorithms

      Public
      This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices
      Scala
      •1•2•0•0•Updated Jun 16, 2026Jun 16, 2026

    • scala-smtlib

      Public
      Scala library for parsing and printing the SMT-LIB format
      scalasmt-lib
      scalasmt-lib
      SMT
      •
      MIT License
      •26•2•0•1•Updated Jun 9, 2026Jun 9, 2026

    • scallion

      Public
      LL(1) parser combinators in Scala
      parserscalaparsing
      parserscalaparsingparser-combinatorspretty-printparsing-combinatorspretty-printerll1ll1-grammarll1-parser
      Scala
      •
      Apache License 2.0
      •14•62•3•0•Updated May 11, 2026May 11, 2026

    • silex

      Public
      Lexing library for Scala
      Scala
      •
      Apache License 2.0
      •6•12•0•0•Updated May 11, 2026May 11, 2026

    • cs320

      Public
      Mirror of http://gitlab.epfl.ch/lara/cs320 . Not always up to date
      Scala
      •1•2•0•0•Updated Apr 22, 2026Apr 22, 2026

    • RadixExperiment

      Public
      Lean
      •2•0•0•0•Updated Mar 10, 2026Mar 10, 2026

    • SystemFR

      Public
      System FR: Formalized Foundations for Stainless
      scalacoqverification
      scalacoqverificationformal-methodsterminationstainless
      Rocq Prover
      •
      MIT License
      •4•12•0•0•Updated Feb 2, 2026Feb 2, 2026

    • CSrankings

      Public
      A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of…
      Python
      •
      Other
      •3.9k•0•0•0•Updated May 22, 2025May 22, 2025

    • cafebabe

      Public
      Tiny Scala library to generate class files for the JVM
      Scala
      •
      Other
      •31•0•0•0•Updated Apr 15, 2025Apr 15, 2025

    • DafnyBench

      Public
      DafnyBench: A Benchmark for Formal Software Verification
      Dafny
      •
      Apache License 2.0
      •12•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • fovcom

      Public
      Scala
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • scala-native-stainless-sample

      Public
      Scala
      •0•1•0•0•Updated Nov 22, 2024Nov 22, 2024

    • asn1scc

      Public
      ASN1SCC: An open source ASN.1 compiler for embedded systems
      F#
      •
      Other
      •70•1•0•0•Updated Sep 17, 2024Sep 17, 2024

    • eprover

      Public
      C
      •
      Other
      •32•0•0•0•Updated Sep 14, 2024Sep 14, 2024

    • stainless-site

      Public
      Stainless microsite
      HTML
      •0•0•0•0•Updated May 14, 2024May 14, 2024

    • compiler2024-labs-public

      Public
      Scala
      •4•2•0•0•Updated Apr 29, 2024Apr 29, 2024

    • LongMap-SMT-queries

      Public archive
      Repository containing the SMT queries generated during the verification of the `LongMap`.
      SMT
      •0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • PVS

      Public
      The People's Verification System
      Common Lisp
      •
      GNU General Public License v2.0
      •37•0•0•0•Updated Mar 28, 2024Mar 28, 2024

    • leon

      Public
      The Leon system for verification, synthesis, repair
      Scala
      •
      Other
      •43•166•24•6•Updated Mar 18, 2024Mar 18, 2024

    • SciFe

      Public
      SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
      Scala
      •
      GNU General Public License v2.0
      •6•1•0•0•Updated Mar 15, 2024Mar 15, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.