double-blind-reviewing / double-blind-reviewing.github.ioLinks
☆20Updated 2 years ago
Alternatives and similar repositories for double-blind-reviewing.github.io
Users that are interested in double-blind-reviewing.github.io are comparing it to the libraries listed below
Sorting:
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆61Updated 2 weeks ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 4 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- A Tool for Intersecting Context-Free Grammars☆10Updated 8 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Updated 11 months ago
- Pluggable type-checking for Java☆27Updated this week
- Search, check, and autofix your BibTex files!☆27Updated 6 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- ☆24Updated 2 months ago
- ☆10Updated 5 years ago
- Autoreject.org — An automatic review generator☆69Updated 2 years ago
- C Language Analysis in Rascal☆27Updated last month
- SMTInterpol interpolating SMT solver☆69Updated last week
- Type checking ifdef variability☆78Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last month
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Updated 2 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Generates loop invariants for program verification☆63Updated 5 years ago
- ☆31Updated 4 months ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Updated 4 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 10 years ago
- The C parser for GumTree☆14Updated 5 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- ☆30Updated 8 months ago
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆23Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 5 years ago
- FreeTikZ☆41Updated 8 years ago
- Sources for the ANSI/ISO C Specification Language manual☆64Updated 3 months ago
- PC-miner tool for program chairs☆29Updated last month