Beneficial-AI-Foundation / dafny-autopilotView external linksLinks
☆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☆42May 12, 2025Updated 9 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- AI-assisted verification of Dafny Programs☆18Nov 9, 2025Updated 3 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated last month
- ☆75Jan 22, 2026Updated 3 weeks ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- Loop invariant generation with LLMs☆31Mar 6, 2025Updated 11 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆32Feb 3, 2026Updated 2 weeks ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Oct 26, 2025Updated 3 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
- Identifying Skin Diseases with Deep Learning☆12Apr 30, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Jun 18, 2024Updated last year
- Serverless AI document extraction using Form Recognizer, Azure Functions, and Azure Blob Storage.☆11May 23, 2024Updated last year
- Home Assistant Integration for Pentair Intellicenter☆17Jun 13, 2025Updated 8 months ago
- ☆14Jan 11, 2021Updated 5 years ago
- Integration of Iceberg table management into Spark SQL☆11Jan 21, 2020Updated 6 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
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Real-time intercom(municator)☆12Updated this week
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- ☆11Sep 1, 2020Updated 5 years ago
- ☆16Jan 23, 2026Updated 3 weeks ago
- 3D detection, tracking, and localization of spatially-compact static objects (such as signs and traffic lights) from a single camera of a…☆11Jan 21, 2021Updated 5 years ago
- Code for reproducing the results from the paper Avoiding Side Effects in Complex Environments☆12Jun 3, 2021Updated 4 years ago
- render raster images to terminal☆14Mar 7, 2016Updated 9 years ago
- ☆11Jul 22, 2025Updated 6 months ago
- Technical Analysis Library☆12Aug 25, 2012Updated 13 years ago
- FUSE based AES-CBC encrypted filesystem and encryption tool☆11Nov 12, 2017Updated 8 years ago
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆10Apr 8, 2020Updated 5 years ago
- MSc Data Science Thesis☆10May 29, 2019Updated 6 years ago
- 🌐 The Internet OS! Free, Open-Source, and Self-Hostable!☆11Dec 15, 2025Updated 2 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Framework for backtesting quantitative trading strategies, allowing easy data visualisation, performance comparison and analysis.☆10Oct 20, 2024Updated last year