https://github.com/jacquescarette/experiments

In which I do a variety of experiments
https://github.com/jacquescarette/experiments

Last synced: 3 months ago
JSON representation

In which I do a variety of experiments

• Host: GitHub
• URL: https://github.com/jacquescarette/experiments
• Owner: JacquesCarette
• License: bsd-3-clause
• Created: 2020-07-13T16:01:20.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-07-17T20:43:18.000Z (almost 6 years ago)
• Last Synced: 2025-04-24T00:07:20.781Z (about 1 year ago)
• Language: Agda
• Size: 5.86 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Experiments

In which I do a variety of experiments