Skip to content

@agda Agda Github Community

Change the repository type filter

All

    Repositories list

    32 repositories

    • agda

      Public
      Agda is a dependently typed programming language / interactive theorem prover.
      programming-languagedependent-typesproof-assistanttype-theoryagda
      Haskell
      •
      Other
      •354•2.5k•970•51•Updated Oct 30, 2024Oct 30, 2024

    • cubical

      Public
      An experimental library for Cubical Agda
      librarycubical-type-theoryagda
      Agda
      •
      Other
      •138•454•62•35•Updated Oct 28, 2024Oct 28, 2024

    • agda-stdlib

      Public
      The Agda standard library
      libraryproofagda
      Agda
      •
      Other
      •236•581•224•33•Updated Oct 28, 2024Oct 28, 2024

    • agda-categories

      Public
      A new Categories library for Agda
      Agda
      •
      MIT License
      •68•367•50•10•Updated Oct 21, 2024Oct 21, 2024

    • fix-whitespace

      Public
      Fixes whitespace issues
      sanitizationformatterversion-controlwhitespace
      Haskell
      •
      Other
      •5•8•5•0•Updated Oct 20, 2024Oct 20, 2024

    • agda2hs

      Public
      Compiling Agda code to readable Haskell
      Agda
      •
      MIT License
      •37•176•61•10•Updated Oct 10, 2024Oct 10, 2024

    • agda-language-server

      Public
      Language Server for Agda
      agdalanguage-server-protocolagda-mode
      Haskell
      •
      MIT License
      •17•102•7•1•Updated Dec 16, 2023Dec 16, 2023

    • agda-base

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

    • hs-tags

      Public
      Generate ctags and etags for Haskell files
      Haskell
      •
      Other
      •1•5•3•0•Updated Mar 28, 2023Mar 28, 2023

    • agda-finite-prover

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

    • guarded

      Public
      Agda
      •1•5•0•0•Updated Feb 3, 2022Feb 3, 2022

    • agda-pkg

      Public
      apkg - package manager for Agda
      package-managerlightweight-dependency-managementagda
      Python
      •
      Other
      •8•38•2•2•Updated Jul 17, 2021Jul 17, 2021

    • text-icu

      Public
      This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •42•0•0•0•Updated May 11, 2021May 11, 2021

    • categories-examples

      Public
      Examples of categorical structures
      Agda
      •
      MIT License
      •4•11•2•1•Updated Mar 19, 2021Mar 19, 2021

    • package-index

      Public
      A package Index for agda libraries
      package-indexapkgagdaagda-pkg
      2•12•3•1•Updated Mar 14, 2021Mar 14, 2021

    • agda-github-syntax-highlighting

      Public
      Syntax highlighting used on GitHub
      Agda
      •
      MIT License
      •4•4•5•0•Updated Oct 27, 2020Oct 27, 2020

    • ooAgda

      Public
      Interactive and object-oriented programming in Agda using coinductive types
      Agda
      •
      MIT License
      •2•22•0•0•Updated Jun 4, 2020Jun 4, 2020

    • agda-spec

      Public
      Specification of Agda.
      TeX
      •
      The Unlicense
      •3•25•1•0•Updated Jan 13, 2019Jan 13, 2019

    • categories

      Public
      Categories parametrized by morphism equality, in Agda
      Agda
      •
      Other
      •26•7•0•0•Updated Nov 25, 2018Nov 25, 2018

    • 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-ocaml

      Public
      OCaml backend for Agda
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •6•39•1•0•Updated Oct 4, 2018Oct 4, 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-ghc-names

      Public
      Tool for making sense of the Haskell code generated by the Agda compiler
      Haskell
      •
      MIT License
      •2•4•0•0•Updated Mar 23, 2017Mar 23, 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