Agda

1,059 libraries mined from the hackage registry · NADA target: 1,065

• 0xd34df00d/refinedt
• accelerate
• acid-state
• active
• ad
• adjunctions
• ADPfusion
• aern2-real
• aeson
• aeson-extra
• aeson-pretty
• aeson-typescript
• aeson-value-parser
• Agda
• agda-attic/agda-frp-js
• agda/agda-categories
• agda/agda2hs
• aivika
• aivika-distributed
• aivika-experiment-chart
• alarmclock
• alex
• algebra
• algebraic-graphs/agda
• alhassy/gentle-intro-to-reflection
• Allure
• amazonka
• amazonka-autoscaling
• amazonka-cloudformation
• amazonka-cloudfront
• amazonka-cloudhsm
• amazonka-cloudsearch
• amazonka-cloudsearch-domains
• amazonka-cloudtrail
• amazonka-cloudwatch
• amazonka-cloudwatch-logs
• amazonka-codedeploy
• amazonka-cognito-identity
• amazonka-cognito-sync
• amazonka-core
• amazonka-datapipeline
• amazonka-directconnect
• amazonka-dynamodb
• amazonka-dynamodb-streams
• amazonka-ec2
• amazonka-ecs
• amazonka-efs
• amazonka-elasticache
• amazonka-elasticbeanstalk
• amazonka-elastictranscoder
• amazonka-elb
• amazonka-iam
• amazonka-importexport
• amazonka-kinesis
• amazonka-kms
• amazonka-lambda
• amazonka-ml
• amazonka-opsworks
• amazonka-rds
• amazonka-redshift
• amazonka-s3
• amazonka-sdb
• amazonka-sns
• amazonka-sqs
• amazonka-ssm
• amazonka-storagegateway
• amazonka-support
• amazonka-swf
• amqp
• amqp-utils
• AndrasKovacs/system-f-omega
• ansi-terminal
• ansi-terminal-game
• antiope-athena
• antiope-core
• antiope-dynamodb
• antiope-messages
• antiope-s3
• antiope-sns
• antiope-sqs
• anuyts/agda-sessions
• apecs
• api-builder
• apiary
• apiary-cookie
• arbtt
• arch-hs
• arithmoi
• array
• ascii
• asn1-data
• async
• atom
• atom-conduit
• atomic-primops
• ats-pkg
• attoparsec
• aur
• aura
• authenticate
• authenticate-oauth
• auto-update
• autodocodec
• autoexporter
• avro
• aws
• aws-sdk
• b9
• base
• base-compat
• base-orphans
• basic-prelude
• beam-core
• beam-migrate
• beam-postgres
• beam-sqlite
• bifunctors
• binary
• bindings-DSL
• bindings-GLFW
• BiobaseXNA
• bioinformatics-toolkit
• birch-beer
• bizzlelude
• blaze-builder
• blaze-html
• blaze-markup
• blockfrost-api
• BlogLiterately
• bloodhound
• bluefin
• bluefin-internal
• BNFC
• boomerang
• bound
• breve
• brick
• bson
• buildwrapper
• burrito
• bytes
• byteslice
• bytestring
• Cabal
• cabal-bounds
• cabal-cargs
• cabal-debian
• cabal-gild
• cabal-helper
• cabal-install
• cabal-lenses
• cabal-plan
• cabal-rpm
• cabal2arch
• cabal2nix
• cachix
• cachix-api
• cairo
• calamity
• calfproject/agda-calf
• call-alloy
• case-insensitive
• cassava
• cedille/cedille
• cedille/ial
• cereal
• certificate
• cgi
• cgrep
• Chart
• Chart-cairo
• Chart-diagrams
• chart-svg
• ChasingBottoms
• chatter
• chatty
• checkers
• chessIO
• chronos
• cimple
• citeproc
• clafer
• clash-ghc
• clash-lib
• clash-prelude
• clash-vhdl
• classy-prelude
• classy-prelude-yesod
• clay
• clckwrks
• clientsession
• clock
• cmark
• cmdargs
• cndict
• cobot-io
• code-conjure
• codex
• combinat
• comfort-array
• comonad
• comonad-extras
• comonad-transformers
• compdata
• composite-aeson
• composite-opaleye
• composition-prelude
• conal/felix
• concurrency
• concurrent-extra
• concurrent-output
• conduit
• conduit-combinators
• conduit-extra
• configuration-tools
• configurator-pg
• constraints
• containers
• contravariant
• coordinate
• copilot
• copilot-c99
• copilot-core
• copilot-language
• copilot-libraries
• copilot-theorem
• copumpkin/categories
• core-program
• core-telemetry
• cpkg
• cpphs
• cpsa
• cql-io
• crdt
• creatur
• criterion
• crypto-api
• cryptohash
• cryptol
• cryptonite
• csound-expression
• csound-expression-typed
• cuda
• darcs
• darcs-beta
• data-accessor
• data-diverse
• dataframe
• dbus
• debian
• deepseq
• deferred-folds
• dejafu
• dependent-sum
• deque
• derive
• deriving-compat
• dhall
• dhall-bash
• dhall-json
• dhall-nix
• diagrams-builder
• diagrams-cairo
• diagrams-contrib
• diagrams-core
• diagrams-haddock
• diagrams-lib
• diagrams-rasterific
• diagrams-svg
• digest
• digit
• DimaSamoz/agda-soas
• dimensional
• direct-sqlite
• directory
• discord-haskell
• distributed-process
• distributed-process-simplelocalnet
• distributive
• dl-fedora
• dlicata335/cart-cube
• dlicata335/hott-agda
• dlist
• dns
• dobutokO2
• doctest
• dotenv
• double-conversion
• DRBG
• DSLsofMath/FPClimate
• dunai
• dunai-test
• dynamic-plot
• EdisonCore
• effectful-core
• effectfully/OTT
• EgbertRijke/HoTT-Intro
• egison
• eigen
• either
• Elm
• elynx
• elynx-seq
• elynx-tools
• elynx-tree
• email-validate
• encoding
• engine-io
• entropy
• enumerator
• errors
• ersatz
• esqueleto
• eventstore
• exceptions
• exon
• explicit-exception
• extensible
• extensible-effects
• extensible-effects-concurrent
• extra
• fast-arithmetic
• fast-logger
• fay
• fb
• fclabels
• felixwellen/DCHoTT-Agda
• ffmpeg-light
• fgl
• file-embed
• filepath
• filestore
• fingertree
• fixed-vector
• flatparse
• fltkhs
• foldl
• foldl-transduce
• formatting
• fortran-src
• foundation
• fourmolu
• Frames
• freckle-app
• fredefox/cat
• free
• free-functors
• free-game
• FrozenWinters/stlc
• fsnotify
• fused-effects
• futhark
• gallais/agdarsec
• gallais/generic-syntax
• gallais/potpourri
• generic-aeson
• generic-data
• generic-deriving
• generic-lens
• generics-sop
• genvalidity
• geojson
• gf
• ghc
• ghc-boot
• ghc-boot-th
• ghc-events
• ghc-exactprint
• ghc-lib
• ghc-lib-parser
• ghc-lib-parser-ex
• ghc-mod
• ghc-prof
• ghc-tcplugin-api
• ghc-typelits-extra
• ghc-typelits-knownnat
• ghc-typelits-natnormalise
• ghc-vis
• ghcid
• ghcide
• ghcjs-dom
• gi-atk
• gi-cairo
• gi-gdk
• gi-gdkpixbuf
• gi-gdkx11
• gi-gio
• gi-glib
• gi-gobject
• gi-gst
• gi-gstaudio
• gi-gstbase
• gi-gtk
• gi-gtk-declarative
• gi-javascriptcore
• gi-notify
• gi-pango
• gi-poppler
• gi-soup
• gi-vte
• gi-webkit
• gi-webkit2
• ginger
• git-annex
• github
• github-release
• gitit
• gitlib
• glabrous
• GLFW-b
• glib
• glirc
• Glob
• gloss
• gloss-examples
• GLUT
• GLUtil
• gnss-converters
• gnuplot
• gopro-plus
• grammatical-parsers
• graphql
• graphviz
• greskell
• greskell-core
• grid
• groundhog
• groundhog-th
• gtk
• gtk3
• h-raylib
• hackport
• haddock
• haddock-api
• haddock-library
• hadolint
• hakyll
• hakyll-images
• hal
• hamlet
• hapistrano
• happstack-authenticate
• happstack-hsp
• happstack-server
• happy
• HaRe
• hashable
• hashed-storage
• hashtables
• haskeline
• haskell-docs
• haskell-gi
• haskell-gi-base
• haskell-language-server
• haskell-lsp
• haskell-lsp-types
• haskell-names
• haskell-src-exts
• haskell-src-meta
• haskell-tools-refactor
• haskoin-core
• haskoin-node
• haskoin-store
• haskoin-store-data
• haskus-utils-variant
• hasql
• hasql-optparse-applicative
• hasql-pool
• hasql-th
• hasql-transaction
• haste-compiler
• hat
• HaTeX
• HaXml
• haxr
• hdaemonize
• HDBC
• HDBC-postgresql
• hedgehog
• hedis
• heist
• hercules-ci-agent
• hexpat
• hie-bios
• highlighting-kate
• hindent
• hint
• hip
• Hipmunk
• histogram-fill
• hjsmin
• hjsonschema
• hledger
• hledger-iadd
• hledger-lib
• hledger-ui
• hledger-web
• hlibgit2
• hlint
• hls-plugin-api
• hls-test-utils
• hmatrix
• hmp3-ng
• hnix
• hoauth2
• hoogle
• hoopl
• hOpenPGP
• hopenpgp-tools
• hosc
• HoTT-Intro/Agda
• HoTT/HoTT-Agda
• hpack
• hpage
• HPDF
• hpqtypes
• hpqtypes-extras
• hruby
• hsc3
• hsdev
• hsexif
• hsimport
• hslogger
• hslua
• HsOpenSSL
• hspec
• hspec-core
• hspec-discover
• hspec-meta
• hspec-wai
• hstatistics
• HStringTemplate
• HTF
• HTTP
• http-api-data
• http-client
• http-client-tls
• http-conduit
• http-enumerator
• http-reverse-proxy
• http-streams
• http-types
• http2
• http2-tls
• http3
• husk-scheme
• hvega
• hw-json
• hw-kafka-client
• hw-polysemy
• hw-prim
• hw-rankselect
• hxt
• hyphenation
• ice1000/Books
• idris
• ihaskell
• improve
• incremental-parser
• indexation
• influxdb
• InitialTypes/Club
• inline-c
• inline-r
• intern
• intervals
• invariant
• io-streams
• ip
• iproute
• irc-client
• irc-core
• iteratee
• jespercockx/agda-core
• jespercockx/ataca
• jmacro
• jose
• jose-jwt
• jsaddle
• jsiek/abstract-binding-trees
• jsiek/B522-PL-Foundations
• json-autotype
• jstolarek/why-dependent-types-matter
• JuicyPixels
• kan-extensions
• katip
• keter
• keys
• kit
• lackey
• LambdaHack
• langston-barrett/write-yourself-a-scheme-in-agda
• language-ats
• language-c
• language-c-quote
• language-docker
• language-ecmascript
• language-javascript
• language-lua
• language-puppet
• launchdarkly-server-sdk
• leancheck
• leksah
• leksah-server
• lens
• lens-aeson
• lentil
• leveldb-haskell
• liamoc/learn-you-an-agda
• libarchive
• libmpd
• lifted-async
• lifted-base
• lifx-lan
• linear
• lio
• liquid-fixpoint
• liquidhaskell
• ListLike
• llvm
• llvm-extra
• llvm-ffi
• llvm-general
• llvm-tf
• log-domain
• log-warper
• logging-effect
• logict
• lorentz
• lsp
• lsp-test
• lsp-types
• lucid
• lzlib
• madlang
• mainland-pretty
• manifolds
• markdown
• martinescardo/HoTT-UF-Agda-Lecture-Notes
• martinescardo/TypeTopology
• massiv
• math-functions
• matrix
• mattermost-api
• mega-sdist
• megaparsec
• memory
• MFlow
• microlens
• microlens-aeson
• microlens-platform
• microlens-th
• midi
• mighttpd2
• mime-mail
• mime-mail-ses
• miso
• MissingH
• mmorph
• mmsyn6ukr
• mmsyn7h
• mmsyn7s
• mmsyn7ukr
• modern-uri
• monad-control
• monad-journal
• monad-logger
• MonadRandom
• mongoDB
• mono-traversable
• monoid-subclasses
• monoidal-containers
• morley
• morpheus-graphql
• mr-ohman/logrel-mltt
• msgpack
• mueval
• mustache
• mwc-random
• mysql-haskell
• nemesis
• nested-routes
• net-mqtt
• network
• network-conduit-tls
• network-transport
• ngx-export
• ngx-export-distribution
• ngx-export-tools
• ngx-export-tools-extra
• nix-tree
• not-gloss
• numeric-prelude
• numhask
• numhask-array
• octane
• one-liner
• opaleye
• OpenGLRaw
• optima
• optparse-applicative
• optparse-generic
• ormolu
• pandoc
• pandoc-citeproc
• pandoc-cli
• pandoc-crossref
• pandoc-lua-marshal
• pandoc-plot
• pandoc-types
• pandora
• pango
• pantry
• parallel
• parsec
• parsers
• patat
• patch
• path
• path-io
• pathtype
• pcre2
• pedagand/typechecker-evolution
• perf
• persistable-record
• persistent
• persistent-mongoDB
• persistent-mysql
• persistent-postgresql
• persistent-sqlite
• persistent-template
• pg-schema
• phino
• phladiprelio-ukrainian-simple
• phonetic-languages-phonetics-basics
• phonetic-languages-simplified-examples-array
• phonetic-languages-simplified-generalized-examples-array
• phonetic-languages-ukrainian-array
• pigworker/CS410-14
• pigworker/CS410-17
• pigworker/CS410-18
• pigworker/Samizdat
• pigworker/TypesWhoSayNi
• pipes
• plot
• plot-light
• pointed
• polysemy
• polysemy-test
• pontarius-xmpp
• postgresql-binary
• postgresql-libpq
• postgresql-simple
• potoki
• potoki-core
• preamble
• pred-trie
• pretty-show
• pretty-simple
• primitive
• primitive-extras
• process
• process-extras
• profunctors
• prometheus
• propellor
• protocol-buffers
• protocol-buffers-descriptor
• pty-mcp-server
• publicsuffix
• purescript
• purescript-bridge
• pusher-http-haskell
• PyF
• quic
• QuickCheck
• quickcheck-classes
• rainbow
• random-fu
• rank2classes
• ratel-wai
• rattletrap
• rdf4h
• reactive-banana
• reanimate
• rebase
• recursion
• recursion-schemes
• reducers
• refined
• reflection
• reflex
• reflex-vty
• regex
• regex-base
• regex-do
• regex-tdfa
• registry
• relational-query
• relational-query-HDBC
• repa
• representable-functors
• req
• rerebase
• resourcet
• rest-core
• rest-gen
• rethinkdb-client-driver
• retry
• rhine
• rhine-gloss
• rio
• rzk
• safe
• safecopy
• Saizan/miller
• salak
• salve
• sandwich
• sbp
• sbv
• scientific
• scion-browser
• scmu/aopa
• scmu/foundations-harper
• scott-fleischman/agda-from-nothing
• scotty
• sdl2
• secp256k1
• secp256k1-haskell
• semigroupoids
• semigroups
• semiring-num
• sendfile
• serokell-util
• servant
• servant-auth-server
• servant-client
• servant-client-core
• servant-docs
• servant-foreign
• servant-lucid
• servant-server
• servant-swagger
• serverless-haskell
• sgd
• SHA
• shake
• shake-ats
• shake-ext
• shake-plus
• shakers
• shakespeare
• shakespeare-js
• shelly
• simple
• simple-effects
• simple-log
• simple-pipe
• singletons
• skylighting
• skylighting-core
• slack-web
• smallcheck
• snap
• snap-core
• snap-server
• soap
• socket
• som
• spatial-math
• speculate
• speculation
• spire/spire
• split
• splot
• Spock
• sqlite-simple
• sstucki/system-f-agda
• stack
• stack-all
• stackage-curator
• stackctl
• statistics
• staversion
• stm
• stm-conduit
• stm-containers
• stm-hamt
• STMonadTrans
• storablevector
• store
• stratosphere
• streaming
• streaming-bytestring
• streaming-commons
• streamly
• streams
• strive
• stylish-haskell
• svg-icons
• SVGFonts
• swagger2
• swish
• syb
• sydtest
• syntactic
• system-fileio
• system-filepath
• table-layout
• taffybar
• tagged
• tagsoup
• tar
• tasty
• tasty-bench
• tasty-discover
• tasty-golden
• tasty-silver
• TCache
• telegram-api
• telegram-bot-simple
• template-haskell
• terminfo
• test-framework
• test-framework-quickcheck2
• test-sandbox
• texmath
• text
• text-builder
• text-icu
• text-show
• text-show-instances
• th-abstraction
• th-desugar
• th-lift
• th-orphans
• the1lab/1lab
• thehottgame/TheHoTTGame
• these
• thyme
• tidal
• time
• time-compat
• timeplot
• tldr
• tls
• tls-extra
• tlynx
• tmp-postgres
• toysolver
• tpdb
• transformers
• transformers-compat
• transient
• trifecta
• turtle
• tweet-hs
• twitter-conduit
• typed-process
• typst
• tzdata
• uhc-light
• uhc-util
• UlfNorell/agda-prelude
• UlfNorell/agda-summer-school
• UlfNorell/x86-agda
• UniMath/agda-unimath
• uniplate
• uniqueness-periods-vector-general
• universum
• unix
• unix-compat
• unix-time
• Unixutils
• unliftio
• unordered-containers
• uri-bytestring
• urlpath
• utxorpc
• uu-parsinglib
• uuagc
• uuid
• uulib
• validation
• validity
• vector
• vector-algorithms
• vector-sized
• vector-space
• versions
• Villefort
• vinyl
• void
• vty
• vulkan
• VulkanMemoryAllocator
• wai
• wai-app-file-cgi
• wai-app-static
• wai-extra
• wai-handler-launch
• wai-logger
• wai-middleware-static
• wai-routes
• wai-routing
• wai-test
• warp
• warp-tls
• web-routes
• webauthn
• webdriver
• websockets
• weigh
• wenkokke/schmitty
• werewolf
• what4
• WhatisRT/meta-cedille
• wide-word
• Win32
• witch
• wl-pprint-extras
• wl-pprint-terminfo
• wolf
• wouter-swierstra/Brainfuck
• wumpus-basic
• wumpus-core
• wuss
• wxcore
• xlsx
• xml-conduit
• xmlhtml
• xmobar
• xmonad
• xmonad-contrib
• yackage
• yaml
• yamlscript
• Yampa
• yampa-test
• yesod
• yesod-auth
• yesod-auth-fb
• yesod-auth-oauth2
• yesod-bin
• yesod-core
• yesod-form
• yesod-markdown
• yesod-persistent
• yesod-platform
• yesod-static
• yesod-test
• yi
• Z-Data
• Z-IO
• zeolite-lang
• zip
• zip-archive
• zlib