Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/assert-kth/provable-benchmark

execution with proofs, master's thesis Gustav Henningsson

https://github.com/assert-kth/provable-benchmark

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (0.2%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

execution with proofs, master's thesis Gustav Henningsson

Basic Info
  • Host: GitHub
  • Owner: ASSERT-KTH
  • Language: Rust
  • Default Branch: main
  • Size: 45.9 KB
Statistics
  • Stars: 0
  • Watchers: 9
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed about 1 year ago
Metadata Files
Readme

README.md

provable-benchmark

execution with proofs, master's thesis Gustav Henningsson

Owner

  • Name: ASSERT
  • Login: ASSERT-KTH
  • Kind: organization
  • Location: Sweden

assertEquals("Research group at KTH Royal Institute of Technology, Stockholm, Sweden", description);

GitHub Events

Total
  • Member event: 1
  • Push event: 14
  • Create event: 2
Last Year
  • Member event: 1
  • Push event: 14
  • Create event: 2

Dependencies

risc0_bench/Cargo.toml cargo
risc0_bench/host/Cargo.toml cargo
risc0_bench/methods/Cargo.toml cargo
risc0_bench/methods/guest/Cargo.toml cargo