Skip to content

@agda Agda Github Community

All

    Repositories list

    12 repositories

    • cubical

      Public
      An experimental library for Cubical Agda
      librarycubical-type-theoryagda
      librarycubical-type-theoryagda
      Agda
      •
      Other
      •171•570•66•45•Updated Oct 6, 2026Oct 6, 2026

    • agda-categories

      Public
      A new Categories library for Agda
      Agda
      •
      MIT License
      •82•411•60•20•Updated Sep 30, 2026Sep 30, 2026

    • agda-stdlib

      Public
      The Agda standard library
      libraryproofagda
      libraryproofagda
      Agda
      •
      Other
      •275•677•284•57•Updated Sep 12, 2026Sep 12, 2026

    • agda2hs

      Public
      Compiling Agda code to readable Haskell
      Agda
      •
      MIT License
      •50•210•60•6•Updated Aug 26, 2026Aug 26, 2026

    • agda-stdlib-classes

      Public
      Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
      Agda
      •
      MIT License
      •3•8•3•0•Updated Aug 7, 2026Aug 7, 2026

    • agda-stdlib-meta

      Public
      Meta-programming utilities for Agda.
      Agda
      •
      MIT License
      •5•25•9•4•Updated Sep 1, 2026Sep 1, 2026

    • ooAgda

      Public
      Interactive and object-oriented programming in Agda using coinductive types
      Agda
      •
      MIT License
      •1•25•0•0•Updated Nov 29, 2025Nov 29, 2025

    • guarded

      Public
      Agda
      •0•6•0•0•Updated Nov 29, 2025Nov 29, 2025

    • agda-pretty

      Public
      Agda port of the Haskell pretty (Text.PrettyPrint) package
      Agda
      •
      Other
      •1•1•0•1•Updated Jun 25, 2025Jun 25, 2025

    • agda-base

      Public
      This is an experimental base library which is supposed to contain functional datastructures and reflection code.
      Agda
      •
      Other
      •0•12•1•0•Updated Jun 6, 2023Jun 6, 2023

    • agda-finite-prover

      Public
      Library for proving propositions quantified over finite sets
      Agda
      •0•15•2•0•Updated Sep 21, 2022Sep 21, 2022

    • categories-examples

      Public
      Examples of categorical structures
      Agda
      •
      MIT License
      •3•11•3•1•Updated Mar 19, 2021Mar 19, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.