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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 5 years ago
- ☆18Mar 12, 2016Updated 10 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Virtual network interface and software bridge for Mirage☆16Mar 6, 2025Updated last year
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- C++ implementation of grako parser, tuned for performance☆22Sep 8, 2014Updated 11 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 9 years ago
- A simple class-based object model for JavaScript☆16Aug 13, 2024Updated last year
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- Efficient filtering and linear algebra routines for multidimensional arrays☆11Dec 19, 2023Updated 2 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 8 years ago
- **Deprecated** bisect_ppx now have built-in coveralls.io support: https://github.com/aantron/bisect_ppx/pull/176☆22Nov 23, 2018Updated 7 years ago
- Darwin Foundation (CoreFoundation & PureFoundation)☆17Jul 9, 2018Updated 7 years ago
- A toy for making geometric art, inspired by Islamic Zellij.☆18Jan 8, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generates natural language versions of Coq proofs☆51Feb 11, 2018Updated 8 years ago
- Quick inline peeks at agenda items and linked nodes in Org-mode☆21Oct 6, 2022Updated 3 years ago
- C++-to-webassembly testbed, in the form of a simple graphics library☆14Apr 23, 2019Updated 7 years ago
- Differential equation (ODE & DAE) solver test suite☆10Sep 24, 2018Updated 7 years ago
- Simple wildcard string comparison for C☆20Jul 17, 2025Updated 9 months ago
- Show symbol list when opening a binary file in Emacs☆18Oct 9, 2016Updated 9 years ago
- replace small numbers with zero☆16Apr 17, 2026Updated 2 weeks ago
- Microsoft Static Driver Verifier Benchmarks☆14Jul 21, 2017Updated 8 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Coverage and timing tool for font-lock keywords☆18Jan 4, 2025Updated last year
- A fast string concatenator☆12Sep 8, 2017Updated 8 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- OCaml support for Flycheck using Merlin☆22Jan 6, 2024Updated 2 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Trace software components, packages and files between Development/Source and Deployment/Distribution/Binaries codebases - strace build an…☆25Aug 29, 2024Updated last year
- Functional High-Performance Computing in Julia☆13Feb 8, 2020Updated 6 years ago
- Xojo class to serialize and deserialize classes via JSON☆12Jun 17, 2015Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Ada Unit Testing Library☆10Aug 3, 2025Updated 9 months ago
- A sub-second static blogging framework☆31Sep 8, 2025Updated 7 months ago
- Another version of ProofGeneral character, じぇねらるたん☆23May 25, 2016Updated 9 years ago
- A XojoScript editor☆12Mar 28, 2018Updated 8 years ago
- Small, header-only, cross-platform SIMD vector library (3D or otherwise) for C11.☆16May 30, 2022Updated 3 years ago
- Code formatter written in XojoScript for Xojo☆16Aug 31, 2015Updated 10 years ago