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:
- A benchmark suite for performance-oriented shell-optimization research☆35Jul 11, 2026Updated 2 weeks ago
- A coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated 6 months ago
- cli launcher menu for games (or anything), the UNIX way.☆14May 26, 2025Updated last year
- Generate embeddings for audio files (music, speech, sounds) and text using CLAP with llm☆22May 15, 2025Updated last year
- Automatic speculative shell script execution for performance improvements.☆18Jul 14, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An attempt at creating a neural network to guess a player's ELO based on their chess games/moves.☆27Mar 18, 2025Updated last year
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆52Jul 22, 2026Updated last week
- A symbolic analyser for shell scripts.☆23Sep 17, 2021Updated 4 years ago
- Function Message Interface (FMI): library for message-passing and collective communication for serverless functions.☆22Apr 16, 2024Updated 2 years ago
- EVE Virtual Environment - A management toolkit for libvirt-based virtualization servers.☆11Mar 10, 2025Updated last year
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 4 years ago
- apt virtual environment☆24Apr 23, 2021Updated 5 years ago
- This repo is for the Open Protein Instructions (OPI) project, aiming to build and release a high-quality and comprehensive protein instru…☆10Mar 27, 2025Updated last year
- Verifying the SCION architecture using Gobra☆12Updated this week
- 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.
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Unit testing for SQL queries☆26Aug 16, 2024Updated last year
- BIRDS plug-in on Fiji and attached jar package☆22Oct 7, 2021Updated 4 years ago
- Prepackaged set of assets to consume easily in Rails 3.1☆14May 18, 2024Updated 2 years ago
- Memorize a 128-bit AES key in 5 minutes☆12Dec 29, 2024Updated last year
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- VSCode Plugin for Gobra☆11Updated this week
- Babel plugin which inlines the result of classnames☆10Jan 26, 2019Updated 7 years ago
- A webpack plugin that transfers modules between chunks.☆13Apr 10, 2017Updated 9 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.
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- BALab web site☆24Jul 24, 2026Updated last week
- 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
- A LaTeX thesis template for ECE Dep., University of Patras.☆22Oct 30, 2018Updated 7 years ago
- ☆20Jul 24, 2026Updated last week
- A build system modeled on make.☆20Mar 4, 2023Updated 3 years ago
- ☆16Jan 23, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Read-only mirror of https://owo.codes/whats-this/transparency☆13Jan 4, 2020Updated 6 years ago
- Read-only mirror of https://owo.codes/whats-this/landing☆17Nov 21, 2019Updated 6 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Jul 1, 2026Updated last month
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆50Jun 15, 2026Updated last month
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆28Jan 10, 2025Updated last year
- a lovely pride flag for the web! 🏳️🌈🏳️⚧️💖☆38May 21, 2024Updated 2 years ago