andromeda / mirLinks
Module-level RWX permissions for Node.js
☆35Updated 9 months ago
Alternatives and similar repositories for mir
Users that are interested in mir are comparing it to the libraries listed below
Sorting:
- DiSh: Dynamic Shell-Script Distribution☆27Updated 5 months ago
- A benchmark suite for performance-oriented shell-optimization research☆9Updated this week
- A Coarse-grained Dynamic Analysis Framework☆21Updated 2 years ago
- A shell AST library in Python☆10Updated 4 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆42Updated 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 4 months ago
- Unit testing for SQL queries☆24Updated 9 months ago
- language-agnostic program reducer.☆191Updated 2 months ago
- ☆40Updated last month
- Troupe programming language☆21Updated last week
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆13Updated 2 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆117Updated this week
- A probabilistic approximate DNF counter☆37Updated last month
- An open-source progress tracker that predicts when you'll reach your goals.☆18Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆89Updated 11 months ago
- Some experiments in making exercises for teaching TLA+☆18Updated 3 weeks ago
- Wasm SpecTec specification tools☆52Updated 2 weeks ago
- C Intermediate Language☆145Updated last month
- Language models for Coq based on data collected from the coq lsp.☆16Updated 2 weeks ago
- A quick repository for me to upload the generated onboarding materials.☆17Updated this week
- A P2P blog and P2P Chat with no signalling server. Nothin' but RTC!☆14Updated last year
- SVG viewer in SVG☆17Updated last month
- Peasy: An Intuitive Development Environment for P☆14Updated 3 weeks ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- A markup language for high efficiency note taking☆16Updated 7 months ago
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- ☆44Updated 4 months ago
- ☆17Updated 2 months ago
- ☆12Updated last week