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
- Autopatching binary packages to make them work with Nix☆48Updated 3 years ago
- Nix written in rust (this will take some time if it will ever finish)☆22Updated 4 years ago
- Nix package and NixOS module for bors-ng☆13Updated 2 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 9 months ago
- A function for fetching the crates listed in a Cargo lock file☆52Updated 3 years ago
- Experiment in Nix formatting☆23Updated 5 years ago
- a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]☆15Updated last month
- a next‐generation free software build system☆29Updated 4 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- `nix develop`, but at build time☆26Updated 2 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- ☆24Updated last year
- A client for the Hydra Nix CI☆46Updated 11 months ago
- cursed☆13Updated 2 years ago
- ☆25Updated 3 years ago
- Darwin build box for Nix community members☆25Updated last year
- Skips build/evaluation based on modification date of nix files.☆20Updated 11 months ago
- Manage your Containerfile with Dhall.☆31Updated 3 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- Serve your /nix/store directory over the internet☆89Updated 3 years ago
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Updated 2 years ago
- NAR (Nix Archive) reader/writer implementation written in Rust☆39Updated 4 years ago
- Tools to create channels from hydra jobsets☆36Updated this week
- Build shell commands from Nix attribute sets.☆17Updated last year
- A functional scripting language.☆18Updated 6 months ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated last year
- experimental nix prelude☆27Updated 2 years ago
- Exploring low-level Nix, NixOS and system concepts☆23Updated 5 years ago
- Polymorphic guarded λ-calculus☆17Updated this week