Onyx

Onyx is a typechecker for the Nix language.

Warning

Onyx is very much a work in progress. Only a subset of the Nix syntax is supported.

You can try Onyx online: nmattia.github.io/onyx

Build

This repo contains both the Onyx library for the type system and typechecking, and the online playground.

To build and test the library, run the following:

cargo test

To build the Wasm module for the playground, you will need wasm-pack; then run the following command:

cd playground/wasm && wasm-pack build

To run the actual playground app, make sure you've built the Wasm module for the playground and then run the following command:

cd playground/app && npm ci && npm run dev