Module-level RWX permissions for Node.js
☆36Aug 23, 2024Updated 2 years ago
Alternatives and similar repositories for mir
Users that are interested in mir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 9 months ago
- A shell AST library in Python☆17Oct 23, 2026Updated last week
- A new take on facet-reflect☆14Oct 16, 2026Updated last week
- Hodor for node.js☆15Jun 18, 2023Updated 3 years ago
- Get dependants of a module on npm.☆18Mar 2, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- keras搭建卷积神经网络模型☆11Feb 6, 2018Updated 8 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- A Haskell implementation of the Formality language☆19Mar 9, 2020Updated 6 years ago
- Neovim plugin for forester☆21Nov 18, 2024Updated last year
- 🦆 Adds Flow / TypeScript types to JavaScript files... because that hassle can be automated.☆25May 31, 2017Updated 9 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Co-inductive datatypes for Lean☆18Oct 15, 2026Updated 2 weeks ago
- gcc plugin to discover optimization passes used during compilation☆21Feb 10, 2021Updated 5 years ago
- kR^X: Comprehensive Kernel Protection Against Just-In-Time Code Reuse☆13Aug 21, 2017Updated 9 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- Learn and build GPU RTL from scratch☆22Aug 1, 2025Updated last year
- A stripped-down LLD (LLVM linker)☆29Apr 11, 2020Updated 6 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- ☆18Jan 23, 2026Updated 9 months ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Oct 19, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆19Jan 9, 2024Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆21May 13, 2020Updated 6 years ago
- Identify bridges from JS to Native or JS to WASM in V8 embedders☆31Nov 3, 2025Updated 11 months ago
- ☆24Oct 6, 2026Updated 3 weeks ago
- ☆23Nov 16, 2023Updated 2 years ago
- Provides agent and server plugins for SPIRE to allow Tailscale node attestation.☆11Apr 29, 2022Updated 4 years ago
- A Practical Tool for Reducing Python Dependency Bloat☆18Nov 3, 2025Updated 11 months ago
- ☆21Jul 24, 2026Updated 3 months ago
- Protocol-native blog engine for AT Protocol. Your PDS is your CMS.☆13Mar 16, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆22Jan 31, 2026Updated 8 months ago
- This is the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.☆18Jan 3, 2026Updated 9 months ago
- Wasm based bindings for cue in javascript☆13Dec 8, 2022Updated 3 years ago
- Garganorn is intended to be a test bed for experimenting with adding location data to the ATmosphere.☆11Updated this week
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 6 years ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- ☆17Oct 12, 2026Updated 2 weeks ago