Repositories list

• agda-github-syntax-highlighting

  Public
  Syntax highlighting used on GitHub

  Agda

  •

  MIT License

  •4•4•5•0•Updated Oct 27, 2020Oct 27, 2020

• agda-system-io

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

  Agda

  •

  MIT License

  •3•24•18•0•Updated Nov 14, 2018Nov 14, 2018

• agda-data-bindings

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

  Agda

  •

  MIT License

  •1•5•0•0•Updated Nov 14, 2018Nov 14, 2018

• agda-web-semantic

  Public
  Agda libraries for the semantic web

  Agda

  •

  MIT License

  •3•23•3•0•Updated Nov 14, 2018Nov 14, 2018

• agda-frp-js

  Public
  ECMAScript back end for Functional Reactive Programming in Agda

  Agda

  •

  MIT License

  •12•103•3•0•Updated Oct 19, 2017Oct 19, 2017

• agda-uhc

  Public
  UHC backend for Agda

  Haskell

  •

  MIT License

  •1•4•6•0•Updated Feb 24, 2017Feb 24, 2017

• agda-frp-ltl

  Public
  An implementation of Functional Reactive Programming

  Agda

  •

  MIT License

  •2•41•1•0•Updated Mar 2, 2015Mar 2, 2015

• agda-assoc-free

  Public
  An implementation of "Associativity for Free"

  MIT License

  •2•9•0•0•Updated Nov 21, 2011Nov 21, 2011

• agda-text-xml

  Public
  Simple bindings for parsing, processing and serializing XML

  MIT License

  •1•3•0•0•Updated May 25, 2011May 25, 2011

• agda-web-uri

  Public
  Simple bindings for parsing, processing and serializing URIs

  Haskell

  •

  MIT License

  •1•4•0•0•Updated May 25, 2011May 25, 2011

• agda-makefile

  Public
  An makefile with lightweight dependency management

  MIT License

  •1•5•0•0•Updated May 25, 2011May 25, 2011