mlr-msft / vim-loves-dafnyLinks
a vim plugin for Dafny, a verified programming language.
☆21Updated 7 years ago
Alternatives and similar repositories for vim-loves-dafny
Users that are interested in vim-loves-dafny are comparing it to the libraries listed below
Sorting:
- Release snapshots of the Frama-C platform for source code analysis☆177Updated 5 years ago
- The LTSmin model checking toolset☆59Updated last year
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆31Updated last year
- ☆50Updated 4 months ago
- EGraphs in OCaml☆77Updated last year
- Lem semantic definition language☆147Updated 7 months ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- The DRAT-trim proof checker☆67Updated 11 months ago
- C-style preprocessor for OCaml☆110Updated last week
- ☆59Updated 3 months ago
- Cerberus C semantics☆72Updated last week
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- A Verified Compiler for Gallina, Written in Gallina☆156Updated this week
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆45Updated 10 months ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆134Updated last month
- solver for the reachability modulo theories problem☆62Updated 2 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆108Updated last week
- C++ library for semigroups and monoids☆62Updated this week
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆231Updated last month
- Sources for the ANSI/ISO C Specification Language manual☆63Updated last week
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆207Updated last year
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆152Updated this week
- OCamlPro public development repository for Alt-Ergo☆139Updated 2 weeks ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 4 months ago
- OCaml graph library☆243Updated last week
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated last week