-
-
-
bolts Public
Forked from epfl-lara/boltsBolts: Stainless Verified Scala Examples
Scala Apache License 2.0 UpdatedOct 24, 2025 -
silex Public
Forked from epfl-lara/silexLexing library for Scala
Scala Apache License 2.0 UpdatedSep 2, 2025 -
stainless Public
Forked from epfl-lara/stainlessVerification framework and tool for higher-order Scala programs
Scala Apache License 2.0 UpdatedSep 1, 2025 -
-
lean4perf Public
Forked from lacker/lean4perfSome performance testing of Lean 4
Lean MIT License UpdatedAug 1, 2025 -
dafny-reportgenerator Public
Forked from dafny-lang/dafny-reportgeneratorA tool for analyzing and reporting on Dafny, especially the results of verification
Dafny MIT License UpdatedJun 18, 2025 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedJun 16, 2025 -
-
stainless-dafny-library Public
Collection of verified software using Dafny and Stainles. Each program has 2 versions, one with each tool.
Scala UpdatedJun 3, 2025 -
cafebabe Public
Forked from psuter/cafebabeTiny Scala library to generate class files for the JVM
Scala Other UpdatedApr 14, 2025 -
inox Public
Forked from epfl-lara/inoxSolver for higher-order functional programs
Scala Apache License 2.0 UpdatedJan 16, 2025 -
-
-
epic-guide.github.io Public
Forked from EPIC-guide/epic-guide.github.ioGuidebook for IC PhD life at EPFL
Dockerfile Other UpdatedDec 10, 2024 -
scala-advent-of-code Public
Forked from scalacenter/scala-advent-of-codeScala Center's solution of Advent of Code
Scala Apache License 2.0 UpdatedDec 10, 2024 -
google-10000-english Public
Forked from first20hours/google-10000-englishThis repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.
Other UpdatedDec 1, 2024 -
-
scala Public
Forked from scala/scalaScala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
Scala Apache License 2.0 UpdatedAug 7, 2024 -
-
scala3 Public
Forked from scala/scala3The Scala 3 compiler, also known as Dotty.
Scala Apache License 2.0 UpdatedJul 23, 2024 -
-
stainless-codespaces Public
Example repo to work with Stainless in Github Codespaces
-
-
-
lisa Public
Forked from epfl-lara/lisaProof assistant based on first-order logic and set theory
Scala Apache License 2.0 UpdatedNov 21, 2023 -
-
Scalpel Public
Forked from SMAT-Lab/ScalpelScalpel: The Python Static Analysis Framework
Python Apache License 2.0 UpdatedApr 28, 2023 -
serverless-benchmarks Public
Forked from spcl/serverless-benchmarksSeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 11, 2023
{{ message }}