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 flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- Polymorphic guarded λ-calculus☆13Updated 6 months 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 last year
- Pijul <-> Git proxy☆21Updated 6 years ago
- a next‐generation free software build system☆28Updated 4 years ago
- Darwin build box for Nix community members☆25Updated last year
- ☆23Updated last year
- Convert JSON schemas into Nickel contracts☆36Updated last week
- Nix written in rust (this will take some time if it will ever finish)☆22Updated 4 years ago
- Autopatching binary packages to make them work with Nix☆48Updated 3 years ago
- iPXE image for Nix builders on Equinix Metal's Spot market.☆50Updated 6 months ago
- Prebuild cross-compiling toolchains for various targets [maintainers=@Mic92]☆10Updated 2 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- Public issue tracker for garnix.io☆15Updated 3 years ago
- A client for the Hydra Nix CI☆46Updated 10 months ago
- Build shell commands from Nix attribute sets.☆17Updated last year
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Updated 4 years ago
- NixOps Google Cloud Backend☆25Updated last year
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Updated 2 years ago
- Efforts for packaging the Rust for Linux project with the Nix package manager☆57Updated 3 months ago
- cursed☆13Updated 2 years ago
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- An ssh server that creates new users on-the-fly, great for letting users participate in a demo☆17Updated last year
- ☆17Updated 2 years ago
- A function for fetching the crates listed in a Cargo lock file☆51Updated 3 years ago
- Do not taunt happy fun ball☆64Updated last year
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated 11 months ago