Skip to content
@Novavero-AI

Novavero AI

Pinned Loading

  1. nova-nix nova-nix Public

    Windows-native Nix implementation in Haskell and C99: parser, lazy evaluator, store, builder and binary-cache substituter.

    Haskell 143 3

  2. install-nova-nix install-nova-nix Public

    Install nova-nix in a GitHub Actions workflow. No toolchain required.

  3. nova-cache nova-cache Public

    Nix binary cache protocol for Haskell: nix-base32, NAR (whole-tree and streaming), narinfo, Ed25519 signing, upload validation, bounded xz, bzip2 and zstd codecs, and an optional WAI cache server.

    Haskell 7 1

  4. ghc-ios ghc-ios Public

    GHC cross-compiler for aarch64-apple-ios: the source patches, a CI workflow that bootstraps the whole toolchain from source on a stock macOS runner, and the complete failure-by-failure build log

    6

Repositories

Showing 10 of 14 repositories
  • nova-os Public

    An operating system modeled on Windows NT's object model, with a small kernel core and drivers in user mode. Its disk images rebuild byte for byte from a 1,623-byte seed.

    Novavero-AI/nova-os's past year of commit activity
    C 0 Apache-2.0 0 63 4 Updated Nov 12, 2026
  • nova-nix Public

    Windows-native Nix implementation in Haskell and C99: parser, lazy evaluator, store, builder and binary-cache substituter.

    Novavero-AI/nova-nix's past year of commit activity
    Haskell 143 Apache-2.0 3 53 0 Updated Nov 12, 2026
  • nova-cache Public

    Nix binary cache protocol for Haskell: nix-base32, NAR (whole-tree and streaming), narinfo, Ed25519 signing, upload validation, bounded xz, bzip2 and zstd codecs, and an optional WAI cache server.

    Novavero-AI/nova-cache's past year of commit activity
    Haskell 7 Apache-2.0 1 5 0 Updated Nov 12, 2026
  • install-nova-nix Public

    Install nova-nix in a GitHub Actions workflow. No toolchain required.

    Novavero-AI/install-nova-nix's past year of commit activity
    0 Apache-2.0 0 0 0 Updated Nov 8, 2026
  • stage0-pe32 Public Forked from Pandapip1/stage0-pe32

    A full-source bootstrap for Windows in the shape of stage0-posix, from a 1,623-byte seed.

    Novavero-AI/stage0-pe32's past year of commit activity
    Python 0 GPL-3.0 1 8 0 Updated Nov 8, 2026
  • ghc-ios Public

    GHC cross-compiler for aarch64-apple-ios: the source patches, a CI workflow that bootstraps the whole toolchain from source on a stock macOS runner, and the complete failure-by-failure build log

    Novavero-AI/ghc-ios's past year of commit activity
    6 BSD-3-Clause 0 2 0 Updated Nov 7, 2026
  • mes Public Forked from Pandapip1/mes

    GNU Mes, with a Windows port (windows-pe32-ntcall branch)

    Novavero-AI/mes's past year of commit activity
    Scheme 0 GPL-3.0 4 0 0 Updated Nov 6, 2026
  • nova-nix-spec Public

    Lean models of the Nix store layer, and a proof checker buildable from a seed

    Novavero-AI/nova-nix-spec's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Nov 5, 2026
  • M2libc Public Forked from oriansj/M2libc

    M2libc, with the x86 Windows target stage0-pe32 builds on (stage0-pe32 branch)

    Novavero-AI/M2libc's past year of commit activity
    C 0 GPL-3.0 20 0 0 Updated Nov 4, 2026
  • mescc-tools Public Forked from oriansj/mescc-tools

    mescc-tools, with kaem's Windows changes (stage0-pe32 branch)

    Novavero-AI/mescc-tools's past year of commit activity
    C 0 GPL-3.0 23 0 0 Updated Nov 4, 2026
View all 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…