ari-language / ariLinks
A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.
☆14Updated last year
Alternatives and similar repositories for ari
Users that are interested in ari are comparing it to the libraries listed below
Sorting:
- Experimental Nix build management stuff☆23Updated 13 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- A function for fetching the crates listed in a Cargo lock file☆51Updated 3 years ago
- Nix written in rust (this will take some time if it will ever finish)☆22Updated 4 years ago
- A GitHub Action that creates meaningful pull requests with updates to your niv-managed dependencies, so you don't have to do menial chore…☆29Updated 8 months ago
- A collection of software packages managed with dream2nix [maintainer=@DavHau]☆32Updated 3 months ago
- Serve your /nix/store directory over the internet☆89Updated 3 years ago
- iPXE image for Nix builders on Equinix Metal's Spot market.☆49Updated 7 months ago
- Autopatching binary packages to make them work with Nix☆48Updated 3 years ago
- ☆54Updated 2 years ago
- Flake workspace / repo to stage and track Nixpkgs/NixOS's ability to be compiled completely with LLVM☆25Updated 3 months ago
- Nix package and NixOS module for bors-ng☆13Updated 2 years ago
- A database with packages from all versions, all commits and all channels.☆19Updated 4 years ago
- Tools to create channels from hydra jobsets☆36Updated last week
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Updated 4 years ago
- Nix Hash Converter [maintainer=@zimbatm]☆10Updated 4 years ago
- a next‐generation free software build system☆28Updated 4 years ago
- Sudoku solver in Nix☆24Updated 3 years ago
- ☆24Updated last year
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆38Updated 5 years ago
- A client for the Hydra Nix CI☆46Updated 11 months ago
- ☆18Updated 5 years ago
- A bunch of nix-shell files for inspiration.☆27Updated 5 years ago
- ☆25Updated 3 years ago
- Experiment in Nix formatting☆22Updated 5 years ago
- Nix OpenTelemetry sender plugin☆68Updated last year
- Discontinued! See https://github.com/timokau/marvin-mk2/issues/34#issuecomment-1100656280 (Previously: "Making sure your PR gets a review…☆19Updated 3 years ago
- A tool that generates a Nix derivation from a Ninja build file.☆25Updated last month
- A CI friendly wrapper around nix-build.☆81Updated 3 months ago