ari-language / ariLinks
A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.
☆12Updated last year
Alternatives and similar repositories for ari
Users that are interested in ari are comparing it to the libraries listed below
Sorting:
- Cross-compile to Redox using Nix [maintainer=@aaronjanse]☆63Updated 4 years ago
- cursed☆14Updated 2 years ago
- A function for fetching the crates listed in a Cargo lock file☆55Updated 3 years ago
- Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed.☆111Updated 2 weeks ago
- Experimental Nix build management stuff☆24Updated 13 years ago
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆213Updated 2 months ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆58Updated 5 years ago
- Nix written in rust (this will take some time if it will ever finish)☆23Updated 5 years ago
- Buck2 rules for Nix☆28Updated 3 months ago
- Nix OpenTelemetry sender plugin☆71Updated 2 years ago
- Serve your /nix/store directory over the internet☆92Updated 3 years ago
- ☆24Updated 10 months ago
- Do not taunt happy fun ball☆71Updated last year
- HDL development environment on Nix.☆26Updated last year
- ☆55Updated 3 years ago
- Explore the nixpkgs dependency graph☆21Updated 2 years ago
- Macros have types!