https://github.com/jacquescarette/pi-dual

Collaborative work on reversible computing
https://github.com/jacquescarette/pi-dual

Last synced: 4 months ago
JSON representation

Collaborative work on reversible computing

• Host: GitHub
• URL: https://github.com/jacquescarette/pi-dual
• Owner: JacquesCarette
• License: bsd-2-clause
• Created: 2014-01-09T22:17:55.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2021-10-30T20:59:25.000Z (over 4 years ago)
• Last Synced: 2025-09-05T02:53:44.114Z (9 months ago)
• Language: TeX
• Size: 47.3 MB
• Stars: 25
• Watchers: 9
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff
  • Roadmap: roadmap.txt

Awesome Lists containing this project

README

          
[![DOI](https://zenodo.org/badge/doi/10.5281/zenodo.5620828.svg)](https://zenodo.org/badge/doi/10.5281/zenodo.5620828.svg)

===========================================================

pi-dual

=======

Collaborative work on reversible computing and its relationship to

Homotopy Type Theory.