andromeda / mirLinks
Module-level RWX permissions for Node.js
☆35Updated 10 months ago
Alternatives and similar repositories for mir
Users that are interested in mir are comparing it to the libraries listed below
Sorting:
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated 3 weeks ago
- A benchmark suite for performance-oriented shell-optimization research☆10Updated last week
- A shell AST library in Python☆10Updated 5 months ago
- A Coarse-grained Dynamic Analysis Framework☆21Updated 2 years ago
- language-agnostic program reducer.☆193Updated 2 weeks ago
- Troupe programming language☆21Updated this week
- SVG viewer in SVG☆17Updated 2 months ago
- A Low Barrier Proof Assistant☆113Updated this week
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆43Updated 5 months ago
- Language models for Coq based on data collected from the coq lsp.☆16Updated 3 weeks ago
- A framework for testing compilers' type checkers☆54Updated 10 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated 10 months ago
- Parallel Delta Debugging Framework☆52Updated 6 months ago
- C Intermediate Language☆146Updated 2 months ago
- Some experiments in making exercises for teaching TLA+☆18Updated last month
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆16Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 3 months ago
- ☆18Updated 3 months ago
- Unit testing for SQL queries☆24Updated 10 months ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆32Updated 2 weeks ago
- CTADL is a static taint analysis tool☆23Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- SMTInterpol interpolating SMT solver☆66Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- Fast relational access to openly-available publication data sets☆92Updated 2 months ago
- ☆34Updated 8 months ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆262Updated this week
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- A fuzzing framework for SMT solvers☆192Updated last year
- Wasm SpecTec specification tools☆53Updated this week