Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/agda/ooagda

Interactive and object-oriented programming in Agda using coinductive types

https://github.com/agda/ooagda

Science Score: 39.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 4 DOI reference(s) in README
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (4.4%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

Interactive and object-oriented programming in Agda using coinductive types

Basic Info
  • Host: GitHub
  • Owner: agda
  • License: mit
  • Language: Agda
  • Default Branch: master
  • Size: 1.4 MB
Statistics
  • Stars: 23
  • Watchers: 12
  • Forks: 2
  • Open Issues: 1
  • Releases: 0
Created over 10 years ago · Last pushed over 1 year ago
Metadata Files
Readme License

README.md

Objects and Graphical User Interfaces in Agda

This library contains the code as in the paper * Andreas Abel, Stephan Adelsberger, Anton Setzer: Interactive Programming in Agda - Objects and Graphical User Interfaces

Installation

  • see INSTALL.txt

Example code from the ooAgda paper

  • Code from the paper can be loaded using files
    • examples/examplesPaperJFP/loadAllOOAgdaPart1.agda
    • examples/examplesPaperJFP/loadAllOOAgdaPart2.agda
    • examplesPaperJFP/loadAllOOAgdaFilesAsInLibrary.agda

Hello World Example

  • see exampleCode

Owner

  • Name: Agda Github Community
  • Login: agda
  • Kind: organization

GitHub Events

Total
  • Pull request review event: 1
  • Pull request review comment event: 1
  • Create event: 1
Last Year
  • Pull request review event: 1
  • Pull request review comment event: 1
  • Create event: 1

Issues and Pull Requests

Last synced: about 1 year ago

All Time
  • Total issues: 0
  • Total pull requests: 1
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Total issue authors: 0
  • Total pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 1
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • andreasabel (1)
Top Labels
Issue Labels
Pull Request Labels