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:
- Cross-compile to Redox using Nix [maintainer=@aaronjanse]☆60Updated 4 years ago
- Nix written in rust (this will take some time if it will ever finish)☆23Updated 4 years ago
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- A function for fetching the crates listed in a Cargo lock file☆54Updated 3 years ago
- Downloads and provides debug symbols and source code for nix derivations to gdb and other debuginfod-capable debuggers as needed.☆106Updated 3 weeks ago
- Buck2 rules for Nix☆24Updated last month
- Do not taunt happy fun ball☆71Updated last year
- cursed☆13Updated 2 years ago
- ☆24Updated 8 months ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 5 years ago
- Experimental Nix build management stuff☆24Updated 13 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Darwin build box for Nix community members☆25Updated last year
- Scope Graph Implementation in Rust☆27Updated 10 months ago
- Serve your /nix/store directory over the internet☆92Updated 3 years ago
- HDL development environment on Nix.☆26Updated 11 months ago
- ☆43Updated 2 months ago
- Autopatching binary packages to make them work with Nix☆50Updated 3 years ago
- Bubble up the correct paths to your shared object libraries in Nix☆52Updated 2 years ago
- nixos is an experimental modern replacement for nixos-rebuild☆23Updated last year
- Experimental type level programming in Rust☆40Updated 4 years ago
- Nix RFC draft on evaluation purity and caching builtins☆15Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP☆209Updated 3 weeks ago
- WIP tooling☆23Updated 2 years ago
- UTF-8 support for Nix☆57Updated last year
- nscd-compatible daemon that proxies lookups, without caching☆68Updated 3 weeks ago
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- Nix OpenTelemetry sender plugin☆68Updated 2 years ago