Skip to content
@nyx-project

The Nyx Project

  • Ireland
README.md

The Nyx Project

  ┏┓
  ┃┃╱╲ In this
  ┃╱╱╲╲ house
  ╱╱╭╮╲╲ we make
  ▔▏┗┛▕▔  secure alternative OS
 ╱▔▔▔▔▔▔▔▔╲ more friendly & available
╱╱┏┳┓╭╮┏┳┓╲╲ to the general public
▔▏┗┻┛┃┃┗┻┛▕▔

Popular repositories Loading

  1. l4v l4v Public

    Forked from seL4/l4v

    seL4 specification and proofs

    Isabelle

  2. seL4 seL4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C

  3. nyx-project.github.io nyx-project.github.io Public

  4. .github .github Public

  5. genode genode Public

    Forked from genodelabs/genode

    Genode OS Framework

    C++

Repositories

Showing 5 of 5 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…