-
-
-
-
-
-
inox Public
Forked from epfl-lara/inoxSolver for higher-order functional programs
Scala Apache License 2.0 UpdatedNov 12, 2025 -
LearnML Public
Forked from kupl/LearnMLA framework for generating personalized feedbacks on functional programming assignments
OCaml MIT License UpdatedJul 12, 2021 -
lisa Public
Forked from epfl-lara/lisaProof assistant based on first-order logic and set theory
Scala Apache License 2.0 UpdatedJul 26, 2023 -
OCaml-front-end-for-the-Stainless-verifier Public
Forked from GiuntaJ/OCaml-front-end-for-the-Stainless-verifierScala UpdatedJun 24, 2021 -
scalachess Public
Forked from lichess-org/scalachessChess API written in scala. Immutable and free of side effects.
Scala MIT License UpdatedDec 4, 2025 -
stainless Public
Forked from epfl-lara/stainlessVerification framework for higher-order functional programs
Scala Apache License 2.0 UpdatedFeb 26, 2026 -
{{ message }}