Topic: dafny Goto Github
Some thing interesting about dafny
Some thing interesting about dafny
dafny,Atom package for the program verification tool Dafny.
User: alchiadus
Home Page: https://atom.io/packages/dafny-workbench
dafny,A repository containing all the laboratories developed for the Formal Methods in Software Engineering Course, part of the Master's Degree in Software Engineering.
User: alex-amarandei
dafny,A tool for deductive verification of Python programs based on Dafny
User: arsalan0c
dafny,Trabalho 1 de Métodos Formais.
User: arthursudbrackibarra
dafny,Study guides for MUN's Computer Engineering program
User: bnuh
dafny,Exercises for the Dafny Tutorial
User: bor0
dafny,BYU CS 329 (Analysis, Testing, and Verification)
User: brighamandersen
dafny,Verifying Solidity smart contracts via translation to Dafny
User: chthonic7
dafny,Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
User: codersguild
dafny,An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.
User: d-parkinson1
dafny,Dafny 2 for Visual Studio Code (Legacy)
Organization: dafnyvscode
Home Page: https://marketplace.visualstudio.com/items?itemName=correctnessLab.dafny-vscode-legacy
dafny,Maude integration and verification for ROS Nav 2
Organization: demiourgoi
dafny,Dafny
User: eggy115
Home Page: https://github.com/Eggy115/Dafny
dafny,2nd Software Specification Project
Organization: ist181045
dafny,Verified code written in the Dafny programming language.
User: jonnadal
dafny,
User: jonnadal
Home Page: https://jonnadal.github.io/
dafny,Library of formally verified abstract data types in Dafny.
User: jorge-jbs
dafny,Métodos Formales de Desarrollo de Software
User: juletx
dafny,Verifying persistent binary search trees with Dafny
User: kumom
dafny,Tesis: Lógica de Programación con Dafny
User: matiashrnndz
dafny,Lógica de Programación con KeY y Dafny
User: matiashrnndz
dafny,Dafny Interactive Verification Environment (DIVE)
User: mattulbrich
dafny,Abstract Proven Symbolic Execution Engine
User: mbrown1413
dafny,DaisyNFS is an NFS server verified using Dafny and Perennial.
Organization: mit-pdos
dafny,Towards AI-Assisted Synthesis of Verified Dafny Methods
Organization: mondego
Home Page: https://dafny-synthesis.web.app/
dafny,Build formal specifications and checks in Dafny for Limited Stack structure.
User: mrrodrigo
dafny,Dafny for Metatheory of Programming Languages
User: namin
Home Page: http://research.microsoft.com/en-us/projects/dafny/
dafny,formalization of the Dependent Object Types (DOT) calculus
User: namin
Home Page: http://lamp.epfl.ch/~amin/dot/
dafny,LLM verified with Monte Carlo Tree Search
User: namin
Home Page: https://arxiv.org/abs/2402.08147
dafny,Verifying Algorithms and Data Structures in Dafny (TFG)
User: ningit
dafny,Imperative programming
User: pl3onasm
dafny,AVL-Tree implemented in Dafny
User: rposchinger
dafny,Formal Verification Course Project
User: scholtzan
dafny,🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Dafny category for AI2001, containing Dafny programming language datasets
User: seanpm2001
Home Page: https://github.com/seanpm2001/AI2001_Category-Source_code/
dafny,A repository for showcasing my knowledge of the Dafny programming language, and continuing to learn the language.
User: seanpm2001
Home Page: https://github.com/seanpm2001/Learn/
dafny,The Dafny Programming language IDE submodule for SNU Programming Tools.
User: seanpm2001
Home Page: https://github.com/seanpm2001/SNU_2D_ProgrammingTools/
dafny,A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
User: shrohanmohapatra
dafny,DafnyBench: A Benchmark for Formal Software Verification
User: sun-wendy
dafny,About Coursework 1 for ELEC70056: Hardware and Software Verification, Software Component - Verification of code using Dafny and the theorem-prover Isabelle
User: supleed2
dafny,Repository of code developed for the course MFES @FEUP
User: vitorhugo13
dafny,Examples of formal verifications written in Dafny.
User: vladstejeroiu
dafny,some formal verification exercises using dafny.
User: zhuzilin
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.