Nitro DSL Nitro DSL for N2O Lean 4 Application Server. Build Install BUM and just run bum deps compile. An sample application can be found in the o89/sample-nitro repository.