Showing 6 of 78 projects
A Nix library for fetching Composer dependencies directly from Git repositories using lockfile-based approach.
Docker images providing stable versions of the Mathematical Components library for the Coq proof assistant.
A Nix-inspired package manager with declarative configuration and isolated environments.
A web bootloader for publishing IPFS webapps with user-consented updates and reproducible builds.
A Nix flake providing Haxe-related packages including the Haxe compiler and Kha framework.
A Nix flake for building and flashing MicroPython firmware for embedded devices like ESP32 boards.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.