Skip to content

@Novavero-AI Novavero AI

Change the repository type filter

All

    Repositories list

    5 repositories

    • nova-nix

      Public
      Windows-native Nix evaluator - Haskell for logic, C99 for data. Parser, lazy evaluator, content-addressed store, builder, binary substituter.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•73•0•0•Updated Mar 31, 2026Mar 31, 2026

    • nova-engine

      Public
      3D graphics engine — C99 Vulkan 1.2 + SDL3 hot path, VMA memory, Haskell brain
      haskellgraphics-enginegame-engine
      haskellgraphics-enginegame-enginevulkanc99pbr3dvmasdl3
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 27, 2026Mar 27, 2026

    • nova-cache

      Public
      Nix binary cache protocol library for Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•6•0•0•Updated Mar 27, 2026Mar 27, 2026

    • nova-net

      Public
      General-purpose reliable UDP — C99 hot path, Haskell protocol brain
      Haskell
      •
      Other
      •0•0•0•0•Updated Mar 15, 2026Mar 15, 2026

    • nova-chain

      Public
      Entropy-backed blockchain with AI-powered quality verification. Hardware randomness collection, on-chain attestation, and verifiable randomness beacon built on …
      rustcryptographyai
      rustcryptographyaientropydecentralizedblockchainrandomnesssubstratevrfpolkadot-sdk
      Rust
      •
      MIT License
      •0•1•0•0•Updated Feb 1, 2026Feb 1, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.