andromeda / mirLinks
Module-level RWX permissions for Node.js
☆37Updated last year
Alternatives and similar repositories for mir
Users that are interested in mir are comparing it to the libraries listed below
Sorting:
- A Coarse-grained Dynamic Analysis Framework☆23Updated 2 weeks ago
- language-agnostic program reducer.☆199Updated 2 weeks ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆120Updated 2 weeks ago
- A Low Barrier Proof Assistant☆144Updated this week
- Datalog with support for SMT queries and first-order functional programming☆165Updated 3 weeks ago
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated last week
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆274Updated this week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆118Updated last month
- The Gillian Platform main repository☆92Updated last week
- Troupe programming language☆21Updated this week
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated 2 weeks ago
- Verifying the SCION architecture using Gobra☆11Updated this week
- Flexible and Constant Time Programming Language☆203Updated 3 years ago
- A fuzzing framework for SMT solvers☆194Updated 2 weeks ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Definitional implementation of Cedar language and utilities for DRT☆142Updated this week
- ☆87Updated last year
- ☆55Updated last month
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 3 months ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated last week
- A verifier for automated and interactive proofs about transition systems.☆164Updated 3 weeks ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆104Updated 3 weeks ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆143Updated this week
- CN separation logic refinement type system for C☆42Updated this week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- An Opinionated Formatter for Verus☆14Updated last week
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated last week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 5 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 3 years ago
- SMTInterpol interpolating SMT solver☆68Updated last month