mlr-msft/vim-loves-dafny external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mlr-msft/vim-loves-dafny

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mlr-msft/vim-loves-dafny)

Close

mlr-msft / vim-loves-dafnyView on GitHubMore

• External links
• Readme badge

a vim plugin for Dafny, a verified programming language.

☆21Sep 25, 2018Updated 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

• Shaddadi / veritex

  View on GitHub
  ☆12Jun 18, 2024Updated last year
• FlorentAvellaneda / InferDT

  View on GitHub
  The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"
  ☆10Jun 26, 2020Updated 5 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• konerukaushik / Graphlib

  View on GitHub
  Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.
  ☆12Mar 2, 2018Updated 8 years ago
• DavisPL / PCCC

  View on GitHub
  Proof-carrying code completions in Dafny
  ☆11Apr 4, 2025Updated 11 months ago
• abhorrence-of-Gods / LlamaCPU

  View on GitHub
  An LLM-driven Neuro-Symbolic Processor
  ☆13Jun 18, 2025Updated 8 months ago
• abstract-machine-learning / saver

  View on GitHub
  SVM Abstrac Verifier tool
  ☆12Oct 13, 2022Updated 3 years ago
• AdaCore / markdown

  View on GitHub
  Markdown parser
  ☆11Nov 28, 2025Updated 3 months ago
• AdaCore / gnatcoll-bindings

  View on GitHub
  GNAT Components Collection – Bindings to C libraries
  ☆16Feb 11, 2026Updated 3 weeks ago
• sisl / VerticalCAS

  View on GitHub
  ☆11Sep 1, 2020Updated 5 years ago
• mattbierner / blog.mattbierner.com

  View on GitHub
  blog.mattbierner.com
  ☆10Jul 4, 2024Updated last year
• rocq-community / mmaps

  View on GitHub
  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
  ☆11Jun 30, 2024Updated last year
• mosteo / yeison

  View on GitHub
  A json-like data structure library in Ada
  ☆11Mar 26, 2025Updated 11 months ago
• mhatzl / spark_unbound

  View on GitHub
  Unbound data structures in Ada-Spark.
  ☆13Feb 6, 2022Updated 4 years ago
• tetherless-world / explanation-ontology

  View on GitHub
  Explanation Ontology Resource website
  ☆12Jun 8, 2024Updated last year
• acorrenson / modulus

  View on GitHub
  A constraint solver built from scratch in OCaml
  ☆12Dec 10, 2021Updated 4 years ago
• tlringer / proof-chat-fun

  View on GitHub
  playing with gpt4
  ☆14Mar 17, 2023Updated 2 years ago
• ktekinay / Data-Serialization

  View on GitHub
  Xojo class to serialize and deserialize classes via JSON
  ☆12Jun 17, 2015Updated 10 years ago
• altamic / bitcoin-protocol

  View on GitHub
  [UNMANTAINED] A Bitcoin wire protocol implementation in pure Ruby
  ☆18Aug 28, 2011Updated 14 years ago
• timholy / AxisAlgorithms.jl

  View on GitHub
  Efficient filtering and linear algebra routines for multidimensional arrays
  ☆11Dec 19, 2023Updated 2 years ago
• pyjarrett / trendy_test

  View on GitHub
  Ada Unit Testing Library
  ☆10Aug 3, 2025Updated 7 months ago
• Aerlinger / AnsiColor.jl

  View on GitHub
  Formatting for ANSI colored strings in Julia
  ☆13Mar 8, 2022Updated 3 years ago
• kpamnany / Gasp.jl

  View on GitHub
  Global Address SPace toolbox -- Julia wrapper
  ☆10Nov 17, 2017Updated 8 years ago
• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 3 months ago
• lift / seventhings

  View on GitHub
  Seven Things that Lift does excellently
  ☆19Feb 26, 2026Updated last week
• poe-tool-dev / passive-skill-tree-json

  View on GitHub
  This repository contains passive skill tree json data for Path of Exile
  ☆14Aug 30, 2024Updated last year
• giolekva / SocketChat

  View on GitHub
  Web Chat using Tornado Web Server and HTML5 Web Sockets
  ☆17Mar 1, 2010Updated 16 years ago
• noahfrederick / vim-jekyll

  View on GitHub
  Vim extensions for Jekyll 2+ sites
  ☆10Mar 26, 2021Updated 4 years ago
• NJ-Murphy / Learning-Technical-Trading

  View on GitHub
  We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…
  ☆11Apr 8, 2020Updated 5 years ago
• CharlieXojo / classPreferences

  View on GitHub
  A cross platform preferences class for Xojo using SQLite
  ☆12Jan 29, 2018Updated 8 years ago
• Leedehai / C-include-2-dot

  View on GitHub
  C/C++ header dependency list generator. Output can be used to create a dependency graph.
  ☆14Apr 13, 2021Updated 4 years ago
• Beneficial-AI-Foundation / dafny-autopilot

  View on GitHub
  ☆14Jun 11, 2025Updated 8 months ago
• chasenorman / Formalized-Voting

  View on GitHub
  ☆13Jul 24, 2021Updated 4 years ago
• ktekinay / XsEdit

  View on GitHub
  A XojoScript editor
  ☆12Mar 28, 2018Updated 7 years ago
• andrew-bedford / coqatoo

  View on GitHub
  Generates natural language versions of Coq proofs
  ☆51Feb 11, 2018Updated 8 years ago
• SiccoVerwer / binoct

  View on GitHub
  Binary Programming Formulation for Learning Classification Trees Using Cplex
  ☆12Nov 14, 2018Updated 7 years ago
• eval4nlp / SharedTask2021

  View on GitHub
  ☆17Nov 23, 2021Updated 4 years ago
• leanprover-community / lean-web-editor

  View on GitHub
  Lean 3 web editor
  ☆13Oct 25, 2023Updated 2 years ago
• Sudha247 / ocaml5-tutorial-icfp-22

  View on GitHub
  ☆13Sep 15, 2022Updated 3 years ago