dafny topic
dot
formalization of the Dependent Object Types (DOT) calculus
dafny-sandbox
Dafny for Metatheory of Programming Languages
Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Casper
A compiler for automatically re-targeting sequential Java code to Apache Spark.
Dafny-VSCode
Dafny 2 for Visual Studio Code (Legacy)
llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
dafny-synthesis
Towards AI-Assisted Synthesis of Verified Dafny Methods