Idris
1,040 libraries mined from the hackage registry · NADA target: 1,041
- accelerate
- acid-state
- active
- ad
- adjunctions
- ADPfusion
- aern2-real
- aeson
- aeson-extra
- aeson-pretty
- aeson-typescript
- aeson-value-parser
- Agda
- aivika
- aivika-distributed
- aivika-experiment-chart
- alarmclock
- alex
- algebra
- 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
- andorp/order-taking
- ansi-terminal
- ansi-terminal-game
- antiope-athena
- antiope-core
- antiope-dynamodb
- antiope-messages
- antiope-s3
- antiope-sns
- antiope-sqs
- 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
- call-alloy
- case-insensitive
- cassava
- cereal
- certificate
- cgi
- cgrep
- channable/dbcritic
- Chart
- Chart-cairo
- Chart-diagrams
- chart-svg
- ChasingBottoms
- chatter
- chatty
- checkers
- chessIO
- christian-public/Idris2-Erlang
- 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
- 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
- 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
- david-christiansen/idris-quickcheck
- david-christiansen/idris-type-providers
- david-christiansen/IdrisAtGalois2015
- 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
- dimensional
- direct-sqlite
- directory
- discord-haskell
- distributed-process
- distributed-process-simplelocalnet
- distributive
- dl-fedora
- dlist
- dns
- dobutokO2
- doctest
- dotenv
- double-conversion
- DRBG
- dunai
- dunai-test
- dynamic-plot
- ECburx/Idris2GL
- EdisonCore
- edwinb/Blodwen
- edwinb/Idris2-boot
- edwinb/SPLV20
- edwinb/TypeDD-Samples
- edwinb/Yaffle
- effectful-core
- 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
- ffmpeg-light
- fgl
- file-embed
- filepath
- filestore
- fingertree
- fixed-vector
- flatparse
- fltkhs
- foldl
- foldl-transduce
- formatting
- fortran-src
- foundation
- fourmolu
- Frames
- freckle-app
- free
- free-functors
- free-game
- frex-project/idris-frex
- fsnotify
- fused-effects
- futhark
- gallais/idris-tparsec
- 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
- 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
- idris
- idris-community/idris2-lsp
- idris-hackers/idris-crypto
- idris-hackers/idris-demos
- idris-hackers/idris-koans
- idris-hackers/IdrisScript
- idris-hackers/software-foundations
- idris-lang/Idris2
- ihaskell
- improve
- incremental-parser
- indexation
- influxdb
- inline-c
- inline-r
- intern
- intervals
- invariant
- io-streams
- ip
- iproute
- irc-client
- irc-core
- iteratee
- jfdm/idris-containers
- jmacro
- joaomilho/awesome-idris
- joom/hezarfen
- jose
- jose-jwt
- jsaddle
- json-autotype
- JuicyPixels
- kan-extensions
- katip
- KesterTong/idris2048
- keter
- keys
- kit
- lackey
- LambdaHack
- 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
- 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
- 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
- mmhelloworld/idris-jvm
- mmorph
- mmsyn6ukr
- mmsyn7h
- mmsyn7s
- mmsyn7ukr
- modern-uri
- monad-control
- monad-journal
- monad-logger
- MonadRandom
- mongoDB
- mono-traversable
- monoid-subclasses
- monoidal-containers
- morley
- morpheus-graphql
- 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
- perf
- persistable-record
- persistent
- persistent-mongoDB
- persistent-mysql
- persistent-postgresql
- persistent-sqlite
- persistent-template
- pg-schema
- pheymann/specdris
- phino
- phladiprelio-ukrainian-simple
- phonetic-languages-phonetics-basics
- phonetic-languages-simplified-examples-array
- phonetic-languages-simplified-generalized-examples-array
- phonetic-languages-ukrainian-array
- 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
- puffnfresh/iridium
- 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
- salak
- salve
- sandwich
- sbp
- sbv
- scientific
- scion-browser
- 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
- SimonJF/IdrisNet2
- simple
- simple-effects
- simple-log
- simple-pipe
- singletons
- singnet/ai-dsl
- skylighting
- skylighting-core
- slack-web
- smallcheck
- snap
- snap-core
- snap-server
- soap
- socket
- som
- spatial-math
- speculate
- speculation
- split
- splot
- Spock
- sqlite-simple
- stack
- stack-all
- stackage-curator
- stackctl
- statebox/fsm-oracle
- statebox/idris-ct
- statistics
- staversion
- stefan-hoeck/idris2-dom
- stefan-hoeck/idris2-elab-util
- stefan-hoeck/idris2-pack
- stefan-hoeck/idris2-tutorial
- 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
- these
- thyme
- tidal
- time
- time-compat
- timeplot
- timjb/quantities
- tldr
- tls
- tls-extra
- tlynx
- tmp-postgres
- ToJans/idris101
- toysolver
- tpdb
- transformers
- transformers-compat
- transient
- trifecta
- turtle
- tweet-hs
- twitter-conduit
- typed-process
- typedefs/typedefs
- typst
- tzdata
- uhc-light
- uhc-util
- 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
- vmchale/recursion_schemes
- 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
- werewolf
- what4
- wide-word
- Win32
- witch
- wl-pprint-extras
- wl-pprint-terminfo
- wolf
- 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
- ziman/lightyear
- zip
- zip-archive
- zlib