Translating humaneval into dafny
☆12Mar 31, 2025Updated last year
Alternatives and similar repositories for HumanEval-Dafny
Users that are interested in HumanEval-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:
- ☆15Jun 11, 2025Updated last year
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆30Mar 18, 2026Updated 7 months ago
- ☆29Sep 26, 2026Updated 3 weeks ago
- x64 semantics in Lean☆51Updated this week
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- A memory allocator verified with Verus☆38Oct 9, 2026Updated last week
- Materials for the "Principles of Static Program Analysis" course☆13Jul 17, 2025Updated last year
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Jul 5, 2015Updated 11 years ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆34May 14, 2025Updated last year
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- vRAG: Verified Code Synthesis with Retrieval-Augmented Generation [FSE-2024]☆56Jun 9, 2024Updated 2 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- Language server prototype using the new Kotlin analysis API☆48Jun 4, 2024Updated 2 years ago
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆48Oct 5, 2026Updated 2 weeks ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆46Sep 25, 2026Updated 3 weeks ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated 2 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆69Dec 12, 2024Updated last year
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated 2 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆22Jun 16, 2025Updated last year
- Rust interface for cvc5☆17Oct 13, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AWS Encryption SDK☆68Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- AI-assisted verification of Dafny Programs☆21Nov 9, 2025Updated 11 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 7 months ago
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated last week
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- ☆23Mar 10, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- generative programming & verification☆34Jul 18, 2026Updated 3 months ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated last year
- The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.☆22Dec 24, 2025Updated 9 months ago
- ☆23Feb 2, 2026Updated 8 months ago
- ☆15May 28, 2025Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- ☆13Apr 28, 2025Updated last year