https://github.com/benhuds/agda

Complexity analysis, type safety, soundness, etc.
https://github.com/benhuds/agda

agda complexity-analysis formalization

Last synced: 6 days ago
JSON representation

Complexity analysis, type safety, soundness, etc.

• Host: GitHub
• URL: https://github.com/benhuds/agda
• Owner: benhuds
• License: mit
• Created: 2015-08-11T20:05:49.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2020-05-08T22:28:34.000Z (almost 6 years ago)
• Last Synced: 2025-03-14T08:43:37.249Z (about 1 year ago)
• Topics: agda, complexity-analysis, formalization
• Language: Agda
• Homepage:
• Size: 1.21 MB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README

          
complexity-drafts: precursor to complexity

old: old stuff

ug: stuff from undergrad

complexity: cleanup needed