Carnegie Mellon University
Browse
1/1
2 files

Obsidian smart contract programming language

Obsidian is a new smart contract language, which uses a linear type system to provide strong safety guarantees for smart contracts. This is an archive of the Obsidian GitHub repository.

Funding

NSF CNS-1423054

NSF CCF-1814826

Ripple, Inc.

IBM

History

Date

2020-08-16

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC