Skip to content
@blocksense-network

Blocksense

Pinned Loading

  1. blocksense blocksense Public

    Blocksense Network's Monorepo

    Rust 62 15

  2. noir noir Public

    Forked from noir-lang/noir

    Noir compiler enhancements developed by the Blocksense team.

    Rust 17 9

  3. zkVMs-benchmarks zkVMs-benchmarks Public

    Setups and programs for zero-knowledge virtual machine benchmarking

    Rust 3 7

Repositories

Showing 10 of 42 repositories
  • direnv-nix-flake-overrides Public

    Small direnv plugin that simplifies overriding flake inputs without the risk of accidentally committing the local override in git

    blocksense-network/direnv-nix-flake-overrides's past year of commit activity
    Python 0 0 0 0 Updated Sep 10, 2026
  • verno Public

    Formal verification extensions for Noir

    blocksense-network/verno's past year of commit activity
    Rust 4 1 0 0 Updated Aug 31, 2026
  • Venir Public

    Verifies Noir code which is in Verus VIR format

    blocksense-network/Venir's past year of commit activity
    Rust 1 MIT 1 0 1 Updated Aug 30, 2026
  • verus-lib Public Forked from Aristotelis2002/verus-lib

    Verus as a library

    blocksense-network/verus-lib's past year of commit activity
    Rust 0 MIT 221 0 0 Updated Aug 30, 2026
  • blocksense Public

    Blocksense Network's Monorepo

    blocksense-network/blocksense's past year of commit activity
    Rust 62 MIT 15 7 55 Updated Aug 23, 2026
  • BlocksenseOS Public

    A Linux distribution based on NixOS designed for remote TEE environments

    blocksense-network/BlocksenseOS's past year of commit activity
    Rust 0 MIT 0 0 2 Updated Aug 17, 2026
  • nixos-modules Public Forked from metacraft-labs/nixos-modules
    blocksense-network/nixos-modules's past year of commit activity
    D 0 5 0 0 Updated Jul 15, 2026
  • blocksense-infra-test Public Forked from blocksense-network/blocksense

    Testing CI changes

    blocksense-network/blocksense-infra-test's past year of commit activity
    Rust 0 MIT 16 0 0 Updated Jun 23, 2026
  • bls-keygen Public
    blocksense-network/bls-keygen's past year of commit activity
    Rust 0 0 0 1 Updated Jun 23, 2026
  • dev-shells Public
    blocksense-network/dev-shells's past year of commit activity
    Nix 0 MIT 0 0 0 Updated Jun 23, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…