https://github.com/vikraman/2dtypes

Collaborative work on reversible computing
https://github.com/vikraman/2dtypes

agda category-theory monoidal-categories quantum-computing reversible-computation reversible-programming-language

Last synced: 1 day ago
JSON representation

Collaborative work on reversible computing

• Host: GitHub
• URL: https://github.com/vikraman/2dtypes
• Owner: vikraman
• Created: 2016-02-05T04:20:27.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2022-08-03T13:01:12.000Z (over 2 years ago)
• Last Synced: 2024-04-14T15:51:43.607Z (9 months ago)
• Topics: agda, category-theory, monoidal-categories, quantum-computing, reversible-computation, reversible-programming-language
• Language: TeX
• Homepage:
• Size: 42.3 MB
• Stars: 16
• Watchers: 9
• Forks: 1
• Open Issues: 23
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 2DTypes

![Build Status](https://github.com/vikraman/2DTypes/workflows/ci/badge.svg)

Collaborative work on reversible computing and its relationship to Homotopy Type

Theory. Drafts are available in

[releases](https://github.com/vikraman/2DTypes/releases).