NixOS for MacOS using Lima-VM
☆23Aug 29, 2026Updated 3 weeks ago
Alternatives and similar repositories for nixos-lima
Users that are interested in nixos-lima are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automate creation of UTM based NixOS VMs☆28Jul 20, 2025Updated last year
- Linux From Scratch, but it's Nix☆37Jul 23, 2021Updated 5 years ago
- A not-very-featureful SSH server for initrd that listens on your tailscale network☆48Updated this week
- JSoup extensions for Scala☆12Jun 1, 2021Updated 5 years ago
- Post-quantum trusted time-stamping server☆17Updated this week
- 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 SBT plugin to run and test Scala.js projects using vite☆11Feb 1, 2024Updated 2 years ago
- Extensions ontop the standard xml library for encoding, decoding, mapping and mutability☆11Feb 24, 2021Updated 5 years ago
- Stuff I create or collect while playing with my PiDP-11☆12Apr 5, 2021Updated 5 years ago
- Lint your file tree based on file sizes☆16Sep 11, 2026Updated last week
- Eurostat Big Data Hackathon 2021☆15Jan 15, 2026Updated 8 months ago
- ☆12Aug 26, 2016Updated 10 years ago
- Code for blog posts on string search algorithms.☆17Mar 4, 2020Updated 6 years ago
- ☆16Oct 2, 2023Updated 2 years ago
- Arbitrary file read in Claude Code☆15Jul 19, 2026Updated 2 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.
- Example Python QT application to control Elk's Sushi audio host☆12Aug 24, 2026Updated 3 weeks ago
- LLM templates to share☆19Apr 17, 2025Updated last year
- Otel4s tracing integration with Doobie☆18Jun 26, 2026Updated 2 months ago
- Unofficial Porkbun Terraform Provider☆15Jan 17, 2025Updated last year
- Snapshot testing for MUnit☆14Apr 15, 2023Updated 3 years ago
- GUI app that formats and displays man pages☆24Mar 21, 2022Updated 4 years ago
- Debian repositories for Shimboot☆15Feb 17, 2026Updated 7 months ago
- Config ZIO apps from multiple property sources having a standard property resolution order.☆16May 4, 2020Updated 6 years ago
- Easily Provision Internal Certificates with ACME by Proxying DNS01 Challenges☆18Jul 29, 2024Updated 2 years 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.
- ☆16Jul 17, 2025Updated last year
- Containerized environments for coding agents.☆27Jul 16, 2025Updated last year
- Seamless .onion and tor-ified git remotes☆29Sep 28, 2019Updated 6 years ago
- ☆192Feb 7, 2026Updated 7 months ago
- post-quantum safe encryption plugin for age encryption☆23Apr 28, 2022Updated 4 years ago
- A time-tracker built for education, fun and eventually profit.☆14Dec 11, 2022Updated 3 years ago
- Example of a docker compose file that adds Tailscale connectivity as a "sidecar"☆22Aug 19, 2025Updated last year
- Proof of Concept of a Conditional Authorizer for Kubernetes using Cedar. Work in progress☆19Aug 29, 2025Updated last year
- Simple 3D "engine" for Playdate console☆16Oct 14, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆18Dec 8, 2025Updated 9 months ago
- Easy Config makes Scala application configuration extremely easy. It reads configuration from the environment or command line arguments.☆17Mar 2, 2020Updated 6 years ago
- Encrypt you config in nix way.☆18Aug 12, 2025Updated last year
- Homebrew formular for google cloud sql proxy☆21Feb 28, 2024Updated 2 years ago
- Deterministic key generation for Go.☆24Jun 25, 2026Updated 2 months ago
- My Incus playground☆22Aug 30, 2026Updated 2 weeks ago
- Remake of the classic arcade game Donkey Kong (1981)☆13Oct 14, 2021Updated 4 years ago