☆14Jun 11, 2025Updated 8 months ago
Alternatives and similar repositories for dafny-autopilot
Users that are interested in dafny-autopilot are comparing it to the libraries listed below
Sorting:
- Clover: Closed-Loop Verifiable Code Generation☆43May 12, 2025Updated 9 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 4 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- ☆84Jan 22, 2026Updated last month
- Loop invariant generation with LLMs☆31Mar 6, 2025Updated last year
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆34Updated this week
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 4 months ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- Mikey-Sakke Crypto library and demonstration code for ECCSI/ SAKKE (RFC 6507 and 6508)☆10Jul 16, 2021Updated 4 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- FUSE based AES-CBC encrypted filesystem and encryption tool☆11Nov 12, 2017Updated 8 years ago
- Kalman filter for GPS data using Pykalman☆10Dec 15, 2020Updated 5 years ago
- Using tensorflow object detection api and openCV to calculate real world coordinates from top view with fixed height of the camera.☆10Jun 19, 2021Updated 4 years ago
- Serverless AI document extraction using Form Recognizer, Azure Functions, and Azure Blob Storage.☆11May 23, 2024Updated last year
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Integration of Iceberg table management into Spark SQL☆11Jan 21, 2020Updated 6 years ago
- ☆12Jun 18, 2024Updated last year
- Identifying Skin Diseases with Deep Learning☆12Apr 30, 2018Updated 7 years ago
- Home Assistant Integration for Pentair Intellicenter☆17Jun 13, 2025Updated 8 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11Jul 22, 2025Updated 7 months ago
- a python implementation of the strategy as described in "Street Smarts: High Probability Short-Term Trading Strategies" by Linda Raschke☆11Oct 21, 2019Updated 6 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- Docker data container☆11Aug 23, 2015Updated 10 years ago
- ☆10Jan 15, 2019Updated 7 years ago
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 4 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Real-time intercom(municator)☆12Updated this week
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- A clean no-jargon mathematical definition of transforrmer language model with a Python implementation that focuses on clarity rather than…☆11Jul 23, 2022Updated 3 years ago
- Stream Processing ToolKit☆17Aug 14, 2015Updated 10 years ago
- render raster images to terminal☆14Mar 7, 2016Updated 10 years ago
- Accelerating the regular expression matching on FPGA for applications in Networking and Bioinformatics.☆13Nov 24, 2017Updated 8 years ago
- Technical Analysis Library☆12Aug 25, 2012Updated 13 years ago
- This repository contains code for Face generation using Deep convolutional generative adversarial network.☆10Jan 29, 2019Updated 7 years ago