Skip to content
@agda-attic

Agda Attic

Archived Agda projects

Popular repositories Loading

  1. agda-frp-js agda-frp-js Public

    ECMAScript back end for Functional Reactive Programming in Agda

    Agda 103 12

  2. agda-frp-ltl agda-frp-ltl Public

    An implementation of Functional Reactive Programming

    Agda 41 2

  3. agda-system-io agda-system-io Public

    Bindings to Haskell's IO monad which respect Agda's semantics

    Agda 24 3

  4. agda-web-semantic agda-web-semantic Public

    Agda libraries for the semantic web

    Agda 23 3

  5. agda-assoc-free agda-assoc-free Public

    An implementation of "Associativity for Free"

    9 2

  6. agda-makefile agda-makefile Public

    An makefile with lightweight dependency management

    5 1

Repositories

Showing 10 of 11 repositories
  • agda-github-syntax-highlighting Public

    Syntax highlighting used on GitHub

    agda-attic/agda-github-syntax-highlighting’s past year of commit activity
    Agda 4 MIT 4 5 0 Updated Oct 27, 2020
  • agda-system-io Public

    Bindings to Haskell's IO monad which respect Agda's semantics

    agda-attic/agda-system-io’s past year of commit activity
    Agda 24 MIT 3 18 0 Updated Nov 14, 2018
  • agda-data-bindings Public

    Agda bindings for low-level datatypes such as raw naturals and bytestrings

    agda-attic/agda-data-bindings’s past year of commit activity
    Agda 5 MIT 1 0 0 Updated Nov 14, 2018
  • agda-web-semantic Public

    Agda libraries for the semantic web

    agda-attic/agda-web-semantic’s past year of commit activity
    Agda 23 MIT 3 3 0 Updated Nov 14, 2018
  • agda-frp-js Public

    ECMAScript back end for Functional Reactive Programming in Agda

    agda-attic/agda-frp-js’s past year of commit activity
    Agda 103 MIT 12 3 0 Updated Oct 19, 2017
  • agda-uhc Public

    UHC backend for Agda

    agda-attic/agda-uhc’s past year of commit activity
    Haskell 4 MIT 1 6 0 Updated Feb 24, 2017
  • agda-frp-ltl Public

    An implementation of Functional Reactive Programming

    agda-attic/agda-frp-ltl’s past year of commit activity
    Agda 41 MIT 2 1 0 Updated Mar 2, 2015
  • agda-assoc-free Public

    An implementation of "Associativity for Free"

    agda-attic/agda-assoc-free’s past year of commit activity
    9 MIT 2 0 0 Updated Nov 21, 2011
  • agda-text-xml Public

    Simple bindings for parsing, processing and serializing XML

    agda-attic/agda-text-xml’s past year of commit activity
    3 MIT 1 0 0 Updated May 25, 2011
  • agda-web-uri Public

    Simple bindings for parsing, processing and serializing URIs

    agda-attic/agda-web-uri’s past year of commit activity
    Haskell 4 MIT 1 0 0 Updated May 25, 2011
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…