Skip to content
@naso-lang

Naso Language

Systems programming meets quantum statecraft. Formally verified so your code behaves even when your qubits don't.

Popular repositories Loading

  1. naso naso Public

    Systems programming meets quantum statecraft. Formally verified so your code behaves even when your qubits don't.

    Rust 2

  2. naso-llm naso-llm Public

    Browser LLM inference whose quantization kernels are compiled by Naso's formally verified compiler

    JavaScript

Repositories

Showing 2 of 2 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…