Data

Tools

Indexes

Applications

Experiments

Open Source Science

bft-crdt-isabelle

https://github.com/liangrunda/bft-crdt-isabelle

Science Score: 44.0%

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

  • ✓
    CITATION.cff file
    Found 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 (1.3%) to scientific vocabulary
Last synced: 10 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: LiangrunDa
  • Language: Isabelle
  • Default Branch: main
  • Size: 46.9 KB
Statistics
  • Stars: 1
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed over 1 year ago
Metadata Files
Readme Citation

README.md

A Framework for Designing and Verifying Byzantine Fault Tolerant CRDTs

To check the proof, run

sh isabelle build -D .

in the root directory of this repository.

Owner

  • Login: LiangrunDa
  • Kind: user

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
  - family-names: Da
    given-names: Liangrun
    orcid: https://orcid.org/0009-0000-3633-932X
  - family-names: Kleppmann
    given-names: Martin
    orcid: https://orcid.org/0000-0001-7252-6958
title: "A Framework for Designing and Verifying Byzantine Fault Tolerant CRDTs"
version: 0.0.1
date-released: 2024-10-17
url: https://github.com/LiangrunDa/bft-crdt-isabelle

GitHub Events

Total
  • Delete event: 1
  • Push event: 3
Last Year
  • Delete event: 1
  • Push event: 3