Module-level RWX permissions for Node.js
☆37Aug 23, 2024Updated last year
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:
- DiSh: Dynamic Shell-Script Distribution☆31Jul 23, 2025Updated 10 months ago
- A shell AST library in Python☆14Feb 12, 2026Updated 3 months ago
- Generate embeddings for audio files (music, speech, sounds) and text using CLAP with llm☆22May 15, 2025Updated last year
- PaSh: Light-touch Data-Parallel Shell Processing☆597Apr 24, 2026Updated last month
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Function Message Interface (FMI): library for message-passing and collective communication for serverless functions.☆22Apr 16, 2024Updated 2 years ago
- A caching framework for microservice applications☆24Apr 22, 2024Updated 2 years ago
- A View that can display the animated sine wave, and the wave properties can be dynamic change☆23May 14, 2016Updated 10 years ago
- A plugin for llm to support structured outputs.☆12Feb 1, 2025Updated last year
- Alloy with browser-based visualizations☆30Jun 16, 2021Updated 4 years ago
- ☆16Jan 23, 2026Updated 4 months ago
- Verifying the SCION architecture using Gobra☆12Updated this week
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Library for bidirectional communication between Cosmopolitan Libc and native shared library plugins.☆16Nov 16, 2025Updated 6 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆23Apr 1, 2026Updated 2 months ago
- Memorize a 128-bit AES key in 5 minutes☆12Dec 29, 2024Updated last year
- VSCode Plugin for Gobra☆11Updated this week
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- Code Bubbles integrated development environment☆39May 12, 2026Updated 2 weeks ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆37Apr 7, 2026Updated last month
- Verifier for effectful, higher-order programs☆19Mar 10, 2026Updated 2 months ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- 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.
- ☆19Updated this week
- Physical Modelling for Pure Data by chnry☆17Jun 12, 2025Updated 11 months ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- ☆18Jan 31, 2026Updated 4 months ago
- Hologit lets you declaratively define virtual sub-branches within any Git branch☆22May 19, 2026Updated last week
- Website where portuguese political controversies can be seen on a calendar to allow seeing it in a bigger picture.☆14Jan 11, 2023Updated 3 years ago
- A template for you to implement Hazelnut yourself☆22Apr 24, 2026Updated last month
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- The Pulse separation logic DSL for F*☆35Updated this week
- 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.
- This is a command line tool that provides useful commands alongside a fun interface for interacting with your operating system. The goal …☆19Jun 11, 2025Updated 11 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 6 years ago
- A memory allocator verified with Verus☆34May 16, 2026Updated 2 weeks ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆26Jan 10, 2025Updated last year
- Minimal static site compiler — suckless, Rust, zero JS.☆69Mar 29, 2026Updated 2 months ago
- ASCII Tree Manipulator☆19Aug 18, 2025Updated 9 months ago
- A python CLI that extends taskwarrior for productivity scoreboard & gamification (quantified self)☆23Sep 16, 2022Updated 3 years ago