-
dafny-ipm Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedDec 11, 2025 -
-
kiss Public
Source code and example for KISS - Knowledge in Security Protocols
C++ UpdatedMar 13, 2025 -
-
-
qoi-dafny Public
Specification, implementation, and formal verification of the Quite Ok Image Format in Dafny
-
Licenta-Dumitru-Daniel-Antoniu-Final Public
Forked from Dumitru-Daniel-Antoniu/Proving-of-Boyer-Moore-Horspool-algorithmF* UpdatedJun 26, 2024 -
-
-
-
manim Public
Forked from leotrs/manimA community-maintained Python framework for creating mathematical animations.
Python MIT License UpdatedMar 14, 2023 -
licenta-2023-contur-alexandra-dafny-banknotes Public
Forked from alexxandra21/Licenta2023Greedy algorithm banknotes problem verified in Dafny (banknotes are powers of 2)
C# UpdatedFeb 12, 2023 -
-
-
isabelle Public
Forked from seL4/isabellegit mirror of the Munich isabelle hg repository
Isabelle Other UpdatedMay 28, 2022 -
natural-deduction-game Public
A game that teaches natural deduction for propositional logic
JavaScript UpdatedMay 22, 2022 -
awesome-algorithms Public
Forked from tayllan/awesome-algorithmsA curated list of awesome places to learn and/or practice algorithms.
UpdatedMay 9, 2022 -
dafny-showcase Public
Implementation and verification in Dafny of various algorithms
Dafny UpdatedMar 18, 2022 -
ASP-Greedy-Dafny Public
Forked from cristirusu-99/ASP-Greedy-DafnyDemonstration of a greedy algorithm for the Activity Selection Problem using Dafny.
Dafny UpdatedJun 24, 2021 -
-
-
valeriu-motroi-UnifLib216 Public
Forked from Djok216/UnifLib216C++ library for AC-Unify
C++ UpdatedJul 1, 2020 -
-
-
-
-
-
{{ message }}