tdurieux / EnergiBridge
☆13Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for EnergiBridge
- Heavyweight Python dynamic analysis framework☆13Updated 6 months ago
- ☆30Updated 3 months ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆17Updated 3 months ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated last year
- ☆11Updated last year
- Flow graphs for Python☆25Updated 2 years ago
- ☆11Updated last week
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 3 months ago
- Restoring Execution Environments of Jupyter Notebooks☆21Updated last year
- ☆18Updated 2 years ago
- General-purpose program synthesiser☆34Updated 2 weeks ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 3 years ago
- A Lean 4 package for heavy numerical computations☆17Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- Causal Analysis of Agent Behavior for AI Safety☆17Updated last year
- ☆10Updated last year
- Bonn Lean course for winter 24/25☆11Updated this week
- ☆18Updated 6 months ago
- Tool for the automatic orchestration of experiments targeting software systems☆12Updated 3 weeks ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- Tool for suggesting lemma names in Coq verification projects☆18Updated 2 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- Loop invariant generation with LLMs☆14Updated 5 months ago
- Language bindings for Maude☆19Updated 7 months ago
- ☆14Updated last year
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- ☆13Updated 7 months ago
- ☆9Updated 6 months ago
- ☆13Updated last year
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Updated this week