dhivya3818 / Quantum-Sampling-Exam-Timetabler
Computation Optimisation application using Quantum Sampling algorithms
☆18Updated last year
Alternatives and similar repositories for Quantum-Sampling-Exam-Timetabler
Users that are interested in Quantum-Sampling-Exam-Timetabler are comparing it to the libraries listed below
Sorting:
- A randomized program fuzzer for the Rust programming language☆63Updated last year
- Command line wrapper to interact with CodeGuru Reviewer☆23Updated 8 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆104Updated this week
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆252Updated last week
- Static Analysis Framework for Modular Analyses☆12Updated last week
- Visual Studio Code extension for Coq☆382Updated this week
- ☆22Updated 5 months ago
- Notes from the 278 semester class at Harvard☆19Updated last month
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆15Updated 2 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 3 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆79Updated 5 months ago
- Boogie☆534Updated this week
- An automatic recursive function transformer.☆10Updated last year
- The Vellvm (Verified LLVM) coq development.☆430Updated this week
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆172Updated this week
- SampCert : Verified Differential Privacy☆73Updated 2 weeks ago
- RFCs for Cedar☆16Updated 2 months ago
- Definition of the Viper intermediate verification language.☆85Updated this week
- ☆33Updated 6 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆74Updated this week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆100Updated this week
- Here we collect worldwide courses teaching formal methods☆37Updated 5 years ago
- ☆33Updated last month
- PL conference deadline countdowns☆60Updated last month
- solver for the reachability modulo theories problem☆60Updated last year
- Lean models of Rust libraries☆12Updated 8 months ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆40Updated last year
- K Framework Tools 7.0☆491Updated this week
- This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX☆1,587Updated last week
- The Eldarica model checker☆85Updated 3 weeks ago