Run a Unikernel on microvm.nix host
☆16Apr 5, 2024Updated 2 years ago
Alternatives and similar repositories for microvm-solo5-spt
Users that are interested in microvm-solo5-spt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jun 28, 2025Updated last year
- ☆10Apr 21, 2025Updated last year
- Julia package for finding the longest simple path in a graph.☆14Dec 23, 2023Updated 2 years ago
- Solving Elementary Longest/Shortest Path problems with Integer Programming☆15Mar 8, 2017Updated 9 years ago
- Julia implementation of (resource) Constrained Shortest Path algorithms☆14Oct 22, 2026Updated last 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.
- Translate various input device events into keyboard and pointer events☆13Jul 27, 2026Updated 3 months ago
- Extra modules that nobody needs.☆24Jun 14, 2026Updated 4 months ago
- ESP32 Semihosting Profiler☆18Nov 2, 2025Updated 11 months ago
- A Branch-and-Cut based Pricer for the Capacitated Vehicle Routing Problem☆16Jun 16, 2023Updated 3 years ago
- A backend for Firecracker microVM networking, accessible through an in-process library or a separate-process CLI.☆16May 11, 2026Updated 5 months ago
- A python module for performance profiling (as described by Dolan and Moré) with tikz outputing and matplotlib.☆19Mar 11, 2026Updated 7 months ago
- [mirror from gitlab] my personal nixos flake☆12Updated this week
- A language/format/parser for manual logging of quantified self data, easily editable by humans☆13Oct 19, 2026Updated last week
- Samsung Seamless Codec (SSC) partially reverse-engineered☆10Sep 23, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CVE-2025-38352 kernel exploit for LG webOS Smart TVs (ARM64). Achieves persistent root on real consumer hardware with novel exploitation …☆17Jun 1, 2026Updated 4 months ago
- Linux Xanmod (Stable) with BORE CPU scheduler and tickrate customizations☆11Updated this week
- ActivityWatch watcher for mpv☆13Oct 19, 2026Updated last week
- Linux DRM/KMS virtual display driver — streams the compositor's scanout zero-copy as a DMA-BUF straight into a hardware encoder. An EVDI …☆20Updated this week
- A Maximum Independent Set (MIS) solver library using Quantum Computing☆19Oct 23, 2026Updated last week
- ☆15Aug 13, 2026Updated 2 months ago
- convert a url or html into a readability object☆11May 7, 2024Updated 2 years ago
- Renders Blu-ray subtitles in the browser☆13Mar 2, 2023Updated 3 years ago
- ☆15Oct 18, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Data Pipeline in the Browser☆13Jan 24, 2026Updated 9 months ago
- Author: Philipp Sommer - Blender 2.8 plugin - using grease pencil - a toolset to create work planes based on grease pencil strokes and GP…☆13Feb 22, 2019Updated 7 years ago
- Proof of concept: support immutable trpc servers using lambdas to ensure client/server compatibility☆13Jun 28, 2022Updated 4 years ago
- ☆18Apr 12, 2019Updated 7 years ago
- This is a CI/CD test for KiCad using KiBot and other tools. As example we took the Spora project and applied the concepts.☆26Aug 6, 2026Updated 2 months ago
- Lazily-evaluated, Streaming, State Management for Effect☆14May 24, 2025Updated last year
- ☆25Aug 6, 2026Updated 2 months ago
- Personal servers and also my router config.☆21Oct 27, 2020Updated 6 years ago
- Mining for Shopify GraphQL documentation☆13Apr 22, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A medium like comment on highlight with comments and texts anchor linked without any third-party packages just purely react, javascript a…☆14Feb 27, 2017Updated 9 years ago
- Java codification of the pulse algorithm to solve the Constrained Shortest Path Problem (CSP)☆23Apr 6, 2018Updated 8 years ago
- NotImplementedError: VJP of gammainc wrt argnum 0 not defined☆15Oct 15, 2020Updated 6 years ago
- A method for estimating causal effects in time-series data. Uses available data to automatically find natural experiments for identifying…☆17Dec 16, 2019Updated 6 years ago
- Vim, but haunted☆17Nov 7, 2023Updated 2 years ago
- Generate an interactive graph of all your discord friends and the relations between them☆13Sep 16, 2026Updated last month
- all design materials related with evilfactory☆12Apr 29, 2019Updated 7 years ago