-
b3 Public
Forked from dafny-lang/b3An intermediate verification language
Dafny MIT License UpdatedDec 10, 2025 -
-
-
-
easycrypt Public
Fork of Easycrypt compatible with Foundational Why3
OCaml MIT License UpdatedMay 12, 2025 -
-
-
-
petsc Public
Forked from petsc/petscMirror of https://gitlab.com/petsc/petsc
C Other UpdatedFeb 22, 2024 -
-
VST Public
Forked from PrincetonUniversity/VSTVerified Software Toolchain
Coq Other UpdatedJun 22, 2022 -
-
-
-
-
-
-
hs-to-coq Public
Forked from antalsz/hs-to-coqConvert Haskell source code to Coq source code
Coq MIT License UpdatedFeb 23, 2019 -
-
-
tower-defense Public
An implementation of a tower defense game based on Bloons Tower Defense 4
{{ message }}