https://github.com/pthariensflame/identity.rs

A stable Rust implementation of an identity (a.k.a., “equality witness”) type
https://github.com/pthariensflame/identity.rs

Last synced: 11 days ago
JSON representation

A stable Rust implementation of an identity (a.k.a., “equality witness”) type

• Host: GitHub
• URL: https://github.com/pthariensflame/identity.rs
• Owner: pthariensflame
• License: apache-2.0
• Created: 2016-06-26T05:56:11.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-07-23T01:21:45.000Z (over 8 years ago)
• Last Synced: 2024-11-02T13:51:47.489Z (18 days ago)
• Language: Rust
• Size: 650 KB
• Stars: 6
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# identity

[![Build Status](https://travis-ci.org/pthariensflame/identity.rs.svg?branch=master)](https://travis-ci.org/pthariensflame/identity.rs)

[![Crates.io](https://img.shields.io/crates/v/identity.svg)](https://crates.io/crates/identity)

[![Crates.io](https://img.shields.io/badge/documentation-on%20Github%20Pages-lightgray.svg)](https://pthariensflame.github.io/identity.rs/doc/identity/)

A stable Rust implementation of an [identity (a.k.a., “equality witness”) type](https://ncatlab.org/nlab/show/identity+type).