Skip to content
@pipe-os

pipe-os

Popular repositories Loading

  1. nixpkgs nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix

  2. snarkOS snarkOS Public

    Forked from ProvableHQ/snarkOS

    A Decentralized Operating System for Zero-Knowledge Applications

    Rust

  3. core core Public

    Forked from cutefishos/core

    System components and backend.

    C++

Repositories

Showing 3 of 3 repositories
  • core Public Forked from cutefishos/core

    System components and backend.

    pipe-os/core’s past year of commit activity
    C++ 0 GPL-3.0 41 0 0 Updated Dec 27, 2021
  • nixpkgs Public Forked from NixOS/nixpkgs

    Nix Packages collection

    pipe-os/nixpkgs’s past year of commit activity
    Nix 0 MIT 15,054 0 0 Updated Dec 4, 2021
  • snarkOS Public Forked from ProvableHQ/snarkOS

    A Decentralized Operating System for Zero-Knowledge Applications

    pipe-os/snarkOS’s past year of commit activity
    Rust 0 GPL-3.0 3,044 0 0 Updated Dec 4, 2021

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…