Skip to content
@blocksense-network

Blocksense

Pinned Loading

  1. blocksense blocksense Public

    Blocksense Network's Monorepo

    Rust 63 16

  2. noir noir Public

    Forked from noir-lang/noir

    Noir compiler enhancements developed by the Blocksense team.

    Rust 17 10

  3. zkVMs-benchmarks zkVMs-benchmarks Public

    Setups and programs for zero-knowledge virtual machine benchmarking

    Rust 3 7

Repositories

Showing 10 of 42 repositories
  • 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 0 Updated Oct 21, 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 0 Updated Oct 21, 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 Oct 9, 2026
  • verno Public

    Formal verification extensions for Noir

    blocksense-network/verno's past year of commit activity
    Rust 4 1 0 0 Updated Oct 9, 2026
  • sosumi-docs-downloader Public

    Download docs from sosumi.ai for offline use

    blocksense-network/sosumi-docs-downloader's past year of commit activity
    Rust 0 0 0 0 Updated Sep 29, 2026
  • platform Public
    blocksense-network/platform's past year of commit activity
    Rust 0 0 0 0 Updated Sep 23, 2026
  • 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
  • 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 241 0 0 Updated Aug 30, 2026
  • blocksense Public

    Blocksense Network's Monorepo

    blocksense-network/blocksense's past year of commit activity
    Rust 63 MIT 16 8 55 Updated Aug 23, 2026
  • nixos-modules Public Forked from metacraft-labs/devops-modules
    blocksense-network/nixos-modules's past year of commit activity
    D 0 5 0 0 Updated Jul 15, 2026
View all repositories

Most used topics

nix rust