# Package Status

| Compiler | Version | Commit |
| --- | --- | --- |
| [Idris2](https://github.com/idris-lang/Idris2) | 0.8.0 | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |

## Building Packages

| Package | Description | License | Commit | Tests | API Docs |
| --- | --- | --- | --- | --- | --- |
| [algdata](https://gitlab.com/avidela/algebraic-data) | Basic data types as algebraic operators | MIT | [de259ec](https://gitlab.com/avidela/algebraic-data/commit/de259eca0ad3b7bb70360d41fa3b444449e817c2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/algdata/docs/index.html) |
| [algebra](https://github.com/stefan-hoeck/idris2-algebra) | Lawful algebraic structures | BSD-3 Clause | [45ebdcd](https://github.com/stefan-hoeck/idris2-algebra/commit/45ebdcd6808e694994cb9639598bb27cad64df4b) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/algebra/docs/index.html) |
| [ansi](https://github.com/idris-community/idris2-ansi) | ANSI terminal escape sequences | BSD-3 Clause | [90f80ac](https://github.com/idris-community/idris2-ansi/commit/90f80ac513572877a3de818b43f837fa59265fec) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ansi/docs/index.html) |
| [apache-mime-types](https://github.com/kbertalan/idris2-apache-mime-types) | Mime types db based on Apache HTTPD dataset |  | [6c6ff58](https://github.com/kbertalan/idris2-apache-mime-types/commit/6c6ff58b6dd9446bf2f4ad7ca7a4e741d367a164) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/apache-mime-types/docs/index.html) |
| [array](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable (linear) size-indexed arrays |  | [b920816](https://github.com/stefan-hoeck/idris2-array/commit/b9208169424b7fbaa9747d649651ee5ba04615dd) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/array/docs/index.html) |
| [arrayvect](https://github.com/danielwaterworth/idris2-arrayvect) | Array-backed vectors for Idris 2 |  | [1c4aa0b](https://github.com/danielwaterworth/idris2-arrayvect/commit/1c4aa0be31a711004a247ba446ce2c9df7146e50) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/arrayvect/docs/index.html) |
| [async](https://github.com/stefan-hoeck/idris2-async) | Asynchronous and concurrent computations in Idris2 |  | [b5d7caa](https://github.com/stefan-hoeck/idris2-async/commit/b5d7caa9f73891886e76515d51be551201e4c026) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async/docs/index.html) |
| [async-dom](https://github.com/stefan-hoeck/idris2-async-dom) | Concurrency and streaming in interactive web pages |  | [2da530f](https://github.com/stefan-hoeck/idris2-async-dom/commit/2da530f0fab76c34fd2eb2827c7a94247aa38735) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-dom/docs/index.html) |
| [async-dom-extra](https://github.com/stefan-hoeck/idris2-async-dom) | Opinionated utilities for writing web apps with async-dom |  | [2da530f](https://github.com/stefan-hoeck/idris2-async-dom/commit/2da530f0fab76c34fd2eb2827c7a94247aa38735) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-dom-extra/docs/index.html) |
| [async-epoll](https://github.com/stefan-hoeck/idris2-async) | An epoll-based event loop for asynchronous computations on Linux |  | [b5d7caa](https://github.com/stefan-hoeck/idris2-async/commit/b5d7caa9f73891886e76515d51be551201e4c026) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-epoll/docs/index.html) |
| [async-js](https://github.com/stefan-hoeck/idris2-async) | An asynchronous run loop for the JS backends |  | [b5d7caa](https://github.com/stefan-hoeck/idris2-async/commit/b5d7caa9f73891886e76515d51be551201e4c026) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-js/docs/index.html) |
| [async-posix](https://github.com/stefan-hoeck/idris2-async) | A poll-based event loop for asynchronous computations on Posix systems |  | [b5d7caa](https://github.com/stefan-hoeck/idris2-async/commit/b5d7caa9f73891886e76515d51be551201e4c026) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-posix/docs/index.html) |
| [async-spec](https://github.com/stefan-hoeck/idris2-async) | A testing framework for Async programs and IO in general |  | [b5d7caa](https://github.com/stefan-hoeck/idris2-async/commit/b5d7caa9f73891886e76515d51be551201e4c026) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-spec/docs/index.html) |
| [barbies](https://github.com/stefan-hoeck/idris2-barbies) | Barbies: Data types that can change their clothes | BSD-3 | [2572018](https://github.com/stefan-hoeck/idris2-barbies/commit/257201868668f94884a12c3de3b48ed84fce3a07) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/barbies/docs/index.html) |
| [base](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base/docs/index.html) |
| [base64](https://git.sr.ht/~janus/base64) | Native base64 decoding/encoding. Provides `Data.String.Base64`. Used in e.g. the `scram` package. | BSD-3-Clause | [ed8df65](https://git.sr.ht/~janus/base64/commit/ed8df65e09f9f3070ea1e98f3ac8be394956c1ac) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base64/docs/index.html) |
| [bcrypt](https://github.com/Matthew-Mosior/idris2-bcrypt) | Idris2 bindings to the bcrypt password hashing algorithm | BSD-3 Clause | [f67cd40](https://github.com/Matthew-Mosior/idris2-bcrypt/commit/f67cd406271aa5fd038fb290888696a9661bf519) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bcrypt/docs/index.html) |
| [best-alternative](https://github.com/buzden/idris2-best-alternative) | Utilities for types implementing `Alternative` interface | Apache-2.0 | [7772679](https://github.com/buzden/idris2-best-alternative/commit/7772679117ed7201690ba160bce286f244ecd8aa) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/best-alternative/docs/index.html) |
| [betti](https://github.com/ohad/betti) |  |  | [5be2b09](https://github.com/ohad/betti/commit/5be2b09cd4267805a4fe913155380a5955b80fd1) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/betti/docs/index.html) |
| [blake2b](https://github.com/stefan-hoeck/idris2-blake2b) | Implementation of the BLAKE2b hash function2 |  | [dda62de](https://github.com/stefan-hoeck/idris2-blake2b/commit/dda62de3b8d94386e98e299ab67cac406fe53706) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/blake2b/docs/index.html) |
| [bounded-doubles](https://github.com/buzden/idris2-bounded-doubles) | Doubles with type-level bounds | Apache-2.0 | [ffbf1b4](https://github.com/buzden/idris2-bounded-doubles/commit/ffbf1b4121e87f70920655904fd55e0db97849ee) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bounded-doubles/docs/index.html) |
| [bounded-doubles-hedgehog-generators](https://github.com/buzden/idris2-bounded-doubles) | Hedgehog generators for bounded doubles | Apache-2.0 | [ffbf1b4](https://github.com/buzden/idris2-bounded-doubles/commit/ffbf1b4121e87f70920655904fd55e0db97849ee) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bounded-doubles-hedgehog-generators/docs/index.html) |
| [buf-conn](https://git.sr.ht/~janus/buf-conn) | Buffered connection (as in TCP). Based on continuations. Let's you only read the amount of bytes you want. |  | [6423008](https://git.sr.ht/~janus/buf-conn/commit/6423008862b921f92bcd582de80a6488097d1591) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/buf-conn/docs/index.html) |
| [byteorder](https://git.sr.ht/~stygianentity/byteorder-idr) | Convert Numbers to and from collections of bytes | BBHL | [8432cdd](https://git.sr.ht/~stygianentity/byteorder-idr/commit/8432cdd74a4129f95895586cbec203b15e89c91a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/byteorder/docs/index.html) |
| [bytestring](https://github.com/stefan-hoeck/idris2-bytestring) | Immutable byte vectors for Idris2 |  | [1c5c616](https://github.com/stefan-hoeck/idris2-bytestring/commit/1c5c6160eef2a91b222d219383af6901c74b57e0) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bytestring/docs/index.html) |
| [c-ffi](https://codeberg.org/joelberkeley/c-ffi) | Generic C FFI utilities for Idris | Apache License, Version 2.0 | [6c54ca8](https://codeberg.org/joelberkeley/c-ffi/commit/6c54ca867a124b3fa291b2ac3acdf54cd0f30110) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/c-ffi/docs/index.html) |
| [cats-and-arrows](https://github.com/tokinanpa/cats-and-arrows) | A categorical foundation for a new effect system | LGPL-3.0-or-later | [83eff9b](https://github.com/tokinanpa/cats-and-arrows/commit/83eff9b5a6c157402534c51803d4300ee9d031f6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cats-and-arrows/docs/index.html) |
| [chem](https://github.com/stefan-hoeck/idris2-chem) | Pure functional cheminformatics in Idris |  | [08fff45](https://github.com/stefan-hoeck/idris2-chem/commit/08fff4540e965bf21f4d9ec9a0a81df58dff923e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/chem/docs/index.html) |
| [chem-generators](https://github.com/stefan-hoeck/idris2-chem) | Hedgehog generators for data types in the chem library |  | [08fff45](https://github.com/stefan-hoeck/idris2-chem/commit/08fff4540e965bf21f4d9ec9a0a81df58dff923e) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/chem-generators/docs/index.html) |
| [collection-utils](https://github.com/buzden/idris2-collection-utils) | Non-standard functions for standard Idris 2 collections | Apache-2.0 | [0ddea1f](https://github.com/buzden/idris2-collection-utils/commit/0ddea1f62ff340f12488c371fa521d2af775ceea) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collection-utils/docs/index.html) |
| [collie](https://github.com/ohad/collie) |  |  | [a35498d](https://github.com/ohad/collie/commit/a35498d8d5d24ae677458aa0b54afeea0c8b7198) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collie/docs/index.html) |
| [comonad](https://github.com/stefan-hoeck/idris2-comonad) | Comonads for Idris2 |  | [154292a](https://github.com/stefan-hoeck/idris2-comonad/commit/154292a389edd7496bd4f41465bcba6844cede52) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/comonad/docs/index.html) |
| [cont](https://git.sr.ht/~janus/cont) | Double-barreled continuations. Used in the pg, http2, web-server-racket packages. |  | [5ca3c85](https://git.sr.ht/~janus/cont/commit/5ca3c85f6356c1c4b860ac7cf65caa9b39f0bf21) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cont/docs/index.html) |
| [containers](https://github.com/idris-community/idris2-containers) | Assorted concrete container types |  | [cd72084](https://github.com/idris-community/idris2-containers/commit/cd7208400beb9346ee186c10c75b359fc6f11b66) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/containers/docs/index.html) |
| [continuation-monad](https://gitlab.com/avidela/continuation-monad) | Continuation monad & its transformer | MIT | [76ad994](https://gitlab.com/avidela/continuation-monad/commit/76ad994491b3bb5b890a84fa9b320b64dd5370fd) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/continuation-monad/docs/index.html) |
| [contrib](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/contrib/docs/index.html) |
| [control-flow](https://github.com/JankaGramofonomanka/idris-compiler-tools) | Structurally correct control-flow graphs | MIT | [e323d47](https://github.com/JankaGramofonomanka/idris-compiler-tools/commit/e323d4707231ea0fb57b6b4015a35a6440cdc42a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/control-flow/docs/index.html) |
| [control-spec](https://github.com/dannypsnl/control-spec) |  | BSD3 | [1aa5c4b](https://github.com/dannypsnl/control-spec/commit/1aa5c4b00d2409fabd9ac716a2f9afd570fa6968) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/control-spec/docs/index.html) |
| [coop](https://github.com/buzden/idris2-coop) | A library for simple concurrency without parallelism | Apache-2.0 | [48ea49e](https://github.com/buzden/idris2-coop/commit/48ea49e27310bb964985a292f8b25c3c8813da8f) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/coop/docs/index.html) |
| [cozippable](https://github.com/buzden/idris2-cozippable) | Cozippable interface and implementations | Apache-2.0 | [20610cd](https://github.com/buzden/idris2-cozippable/commit/20610cdacbe4f192f044f5c7d27875bff475c750) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cozippable/docs/index.html) |
| [cptr](https://github.com/stefan-hoeck/idris2-cptr) | Fun with C-pointers |  | [63f224d](https://github.com/stefan-hoeck/idris2-cptr/commit/63f224d52af5c5655f022fb9c9a6edd34feefd50) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cptr/docs/index.html) |
| [crypt](https://github.com/stefan-hoeck/idris2-crypt) | FFI bindings to the crypt C-library used for passphrase hashing | BSD-3 Clause | [f40a548](https://github.com/stefan-hoeck/idris2-crypt/commit/f40a54831395a2450839a4f29e50ad718a5d9953) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/crypt/docs/index.html) |
| [css](https://github.com/stefan-hoeck/idris2-css) | A DSL for writing CSS rules in Idris | BSD-3 | [de7e9db](https://github.com/stefan-hoeck/idris2-css/commit/de7e9dba95dad7c3e873e41ef94c8eb8c4697cef) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/css/docs/index.html) |
| [cyby-css](https://github.com/stefan-hoeck/idris2-cyby-draw) | An opinionated CSS framework written in Idris |  | [b26a6dd](https://github.com/stefan-hoeck/idris2-cyby-draw/commit/b26a6dd82121d835dc0ed3cd52172e48bcba17e3) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cyby-css/docs/index.html) |
| [cyby-draw](https://github.com/stefan-hoeck/idris2-cyby-draw) | A drawing tool for molecules running in the browser |  | [b26a6dd](https://github.com/stefan-hoeck/idris2-cyby-draw/commit/b26a6dd82121d835dc0ed3cd52172e48bcba17e3) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cyby-draw/docs/index.html) |
| [darray](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable enum-indexed dependent arrays |  | [b920816](https://github.com/stefan-hoeck/idris2-array/commit/b9208169424b7fbaa9747d649651ee5ba04615dd) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/darray/docs/index.html) |
| [decord](https://github.com/jcranch/idris-decord) | Support for decidable orderings, equalities (and relations with Eq and Ord) | BSD3 | [5ccae2e](https://github.com/jcranch/idris-decord/commit/5ccae2e639f13598bdd9a34b16c72d51bcaa4350) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/decord/docs/index.html) |
| [dependent-map](https://github.com/JankaGramofonomanka/idris-dependent-map) | A port of the `dependent-map` package from Hackage | BSD-3 Clause | [19718e6](https://github.com/JankaGramofonomanka/idris-dependent-map/commit/19718e6df489aeb42d5084da01013eed9acd7ffc) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dependent-map/docs/index.html) |
| [dependent-vect](https://github.com/buzden/idris2-dependent-vect) | Vector data type with type of elements dependent on the index value | Apache-2.0 | [2e6cc43](https://github.com/buzden/idris2-dependent-vect/commit/2e6cc43bf2d8b6b57b4d0f3eab6377dafe624192) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dependent-vect/docs/index.html) |
| [deptycheck](https://github.com/buzden/deptycheck) | Property-based testing with dependent types | MPL-2.0 | [3b2467c](https://github.com/buzden/deptycheck/commit/3b2467c6b22a7a0e01795bb3776354219558d747) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/deptycheck/docs/index.html) |
| [dinwiddy](https://github.com/bobbbay/dinwiddy) |  |  | [61a81c5](https://github.com/bobbbay/dinwiddy/commit/61a81c55e48e4b7b551fb7493d623cb7659a37ce) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dinwiddy/docs/index.html) |
| [distribution](https://github.com/idris-bayes/distribution) | An FFI for statistical distributions from the GSL C library. | The BSD 3-Clause License | [bced45a](https://github.com/idris-bayes/distribution/commit/bced45ab5367184c8a4d88ce695c9a4714c34c98) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/distribution/docs/index.html) |
| [dom](https://github.com/stefan-hoeck/idris2-dom) | Extensive DOM and web bindings for Idris2 |  | [2bb2071](https://github.com/stefan-hoeck/idris2-dom/commit/2bb2071a849f2ffd07211cb5f23b9e39c9ded319) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dom/docs/index.html) |
| [dom-mvc](https://github.com/stefan-hoeck/idris2-dom-mvc) | Single page web applications |  | [de2c2b3](https://github.com/stefan-hoeck/idris2-dom-mvc/commit/de2c2b37e06410c48388ef629c07c6b26fe64b34) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dom-mvc/docs/index.html) |
| [dom-mvc-extra](https://github.com/stefan-hoeck/idris2-dom-mvc) | Additional utilities for writing web applications |  | [de2c2b3](https://github.com/stefan-hoeck/idris2-dom-mvc/commit/de2c2b37e06410c48388ef629c07c6b26fe64b34) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dom-mvc-extra/docs/index.html) |
| [dot-gv](https://github.com/CodingCellist/idris2-dot-parse) | Idris2 lexer and parser for the DOT language used in GraphViz files. | BSD-3-Clause | [369fe32](https://github.com/CodingCellist/idris2-dot-parse/commit/369fe32ed8d716cee6a07969b7b31e6d2cf046ae) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dot-gv/docs/index.html) |
| [dtypes](https://github.com/JankaGramofonomanka/idris-dtypes) | dependent variants of common idris/haskell types and interfaces | BSD-3 Clause | [028eb21](https://github.com/JankaGramofonomanka/idris-dtypes/commit/028eb21c8f157037b2fa75e3f911cb33471e2774) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dtypes/docs/index.html) |
| [eff](https://github.com/stefan-hoeck/idris2-eff) | Extensible, stack-safe effects in Idris2 | BSD-3 Clause | [69f02c0](https://github.com/stefan-hoeck/idris2-eff/commit/69f02c0209c2d92215557b73df76507933588a91) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/eff/docs/index.html) |
| [effect](https://github.com/Russoul/Idris2-Effect) |  | The 3-Clause BSD License | [b76dce1](https://github.com/Russoul/Idris2-Effect/commit/b76dce14b79a5f743243a294c3474c6f113f8e3a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/effect/docs/index.html) |
| [elab-pretty](https://github.com/stefan-hoeck/idris2-elab-util) | Pretty printing TTImp and friends, plus auto-deriving pretty printers | BSD-2 Clause | [90a2363](https://github.com/stefan-hoeck/idris2-elab-util/commit/90a2363256cbaafd3b0cc4e2bf36003761b6c4f0) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/elab-pretty/docs/index.html) |
| [elab-util](https://github.com/stefan-hoeck/idris2-elab-util) | Utilities and documentation for working with elaborator reflection | BSD-2 Clause | [90a2363](https://github.com/stefan-hoeck/idris2-elab-util/commit/90a2363256cbaafd3b0cc4e2bf36003761b6c4f0) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/elab-util/docs/index.html) |
| [elab-util-extra](https://github.com/buzden/deptycheck) | Additional utilities for elaborator reflection | Apache-2.0 | [3b2467c](https://github.com/buzden/deptycheck/commit/3b2467c6b22a7a0e01795bb3776354219558d747) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/elab-util-extra/docs/index.html) |
| [elin](https://github.com/stefan-hoeck/idris2-elin) | Stateful linear computations with error handling |  | [6f858ef](https://github.com/stefan-hoeck/idris2-elin/commit/6f858eff7d36ef921c83a5096619af2f8df0554d) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/elin/docs/index.html) |
| [enum](https://github.com/stefan-hoeck/idris2-enum) | Verified enumeration types |  | [3fd69ff](https://github.com/stefan-hoeck/idris2-enum/commit/3fd69ffd95daf5c7be30ae7f074cefeed6f5fca4) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/enum/docs/index.html) |
| [epoll](https://github.com/stefan-hoeck/idris2-epoll) | epoll bindings in Idris2: polling pipes and sockets in Linux | BSD-3 Clause | [9967773](https://github.com/stefan-hoeck/idris2-epoll/commit/996777313593ef4e38509f49255800ba2b322588) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/epoll/docs/index.html) |
| [evince](https://github.com/bio-aeon/evince) | A testing framework for Idris 2 | MIT | [5605be9](https://github.com/bio-aeon/evince/commit/5605be9ff472f0452fa86cbc3ba13cf1a25cb01a) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/evince/docs/index.html) |
| [evince-async](https://github.com/bio-aeon/evince) | Async-based concurrent runner for evince | MIT | [5605be9](https://github.com/bio-aeon/evince/commit/5605be9ff472f0452fa86cbc3ba13cf1a25cb01a) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/evince-async/docs/index.html) |
| [evince-async-js](https://github.com/bio-aeon/evince) | JS/Node concurrent runner for evince (async-js event loop) | MIT | [5605be9](https://github.com/bio-aeon/evince/commit/5605be9ff472f0452fa86cbc3ba13cf1a25cb01a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/evince-async-js/docs/index.html) |
| [evince-async-posix](https://github.com/bio-aeon/evince) | Multi-threaded parallel runner for evince (posix/poll thread pool) | MIT | [5605be9](https://github.com/bio-aeon/evince/commit/5605be9ff472f0452fa86cbc3ba13cf1a25cb01a) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/evince-async-posix/docs/index.html) |
| [evince-hedgehog](https://github.com/bio-aeon/evince) | Hedgehog property testing bridge for evince | MIT | [5605be9](https://github.com/bio-aeon/evince/commit/5605be9ff472f0452fa86cbc3ba13cf1a25cb01a) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/evince-hedgehog/docs/index.html) |
| [extrafun](https://github.com/jcranch/extrafun) | Various extra category theory classes | BSD3 | [86cca4e](https://github.com/jcranch/extrafun/commit/86cca4e39180fce2497880fcefe6943ec2396670) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/extrafun/docs/index.html) |
| [filepath](https://github.com/stefan-hoeck/idris2-filepath) | Unix style file paths | BSD-3 Clause | [4e8fe9a](https://github.com/stefan-hoeck/idris2-filepath/commit/4e8fe9af80d457adc63904ebf58e223ba35c62aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/filepath/docs/index.html) |
| [fin-lizzie](https://github.com/buzden/idris2-fin-lizzie) | Useful stuff for `Fin` data type | Apache-2.0 | [1638579](https://github.com/buzden/idris2-fin-lizzie/commit/1638579a112b4943000ddcd3ff350af7c16bd557) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fin-lizzie/docs/index.html) |
| [finite](https://github.com/stefan-hoeck/idris2-finite) | A derivable interface for types with a finite number of inhabitants |  | [d8defd1](https://github.com/stefan-hoeck/idris2-finite/commit/d8defd1adfd4851803025f85edd5cc12c833cccc) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/finite/docs/index.html) |
| [fix-whitespace](https://github.com/stefan-hoeck/idris-fix-whitespace) | A small app for fixing whitespace issues in source files |  | [ec8d82a](https://github.com/stefan-hoeck/idris-fix-whitespace/commit/ec8d82a88cc12a787e0c81b9ce4d85d90f6291ee) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fix-whitespace/docs/index.html) |
| [fixed](https://github.com/Matthew-Mosior/idris2-fixed) | Fixed dependent type for working with fixed-point arithmetic |  | [d117ca5](https://github.com/Matthew-Mosior/idris2-fixed/commit/d117ca5849348c3541a263774d556348ea821e56) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fixed/docs/index.html) |
| [free](https://github.com/idris-bayes/free) | An encoding of free monads and free monad transformers | The BSD 3-Clause License | [809e145](https://github.com/idris-bayes/free/commit/809e1450094eab85a64f926967f8b056402291d6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/free/docs/index.html) |
| [freer](https://github.com/stefan-hoeck/idris2-freer) | Stack-safe freer monads for Idris2 | BSD-3 Clause | [180e206](https://github.com/stefan-hoeck/idris2-freer/commit/180e2066f8c20b4f2197ae46fdb5c09a4fcb9ed2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/freer/docs/index.html) |
| [fs-utils](https://gitlab.com/avidela/fs-utils) |  |  | [28dd3c9](https://gitlab.com/avidela/fs-utils/commit/28dd3c9a1f086f54704c17c4f2d65378fe3b6f3e) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fs-utils/docs/index.html) |
| [fvect](https://github.com/mattpolzin/idris-fvect) |  | MIT | [005f989](https://github.com/mattpolzin/idris-fvect/commit/005f989a75bf25c383d4b5fb956c84f08d98f74a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fvect/docs/index.html) |
| [getopts](https://github.com/idris-community/idris2-getopts) | Processing command line options | BSD-3 Clause | [0d41b98](https://github.com/idris-community/idris2-getopts/commit/0d41b98f83f3707deb0ffbc595ef36b7d9cb9eab) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/getopts/docs/index.html) |
| [golden-runner-helper](https://github.com/buzden/idris2-golden-runner-helper) | An easy way to create `pack`-friendly runners of golden tests | Apache-2.0 | [7acdb58](https://github.com/buzden/idris2-golden-runner-helper/commit/7acdb5848d21602d704ee0e41f67eee7c9407835) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/golden-runner-helper/docs/index.html) |
| [graph](https://github.com/stefan-hoeck/idris2-graph) | Sparse, simple functional graphs in Idris2 | BSD-3 Clause | [e3fea89](https://github.com/stefan-hoeck/idris2-graph/commit/e3fea89ac3e2edc371966f5540deac690f85e31a) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/graph/docs/index.html) |
| [hash](https://git.sr.ht/~janus/hash) | Abstract record data type for cryptographic hashing algorithms using e.g. Merkle-Damgård or sponge constructions. Provides `Data.Cryptography.Hash`. See `sha` for implementations. | BSD-3 Clause | [157a273](https://git.sr.ht/~janus/hash/commit/157a2737dd9b182015f01042f2cc61663660904d) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hash/docs/index.html) |
| [hashable](https://github.com/Z-snails/Idris2-hashable) |  |  | [af0b5e0](https://github.com/Z-snails/Idris2-hashable/commit/af0b5e086d26777cbdedf0e1b5d7a9684d755da6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hashable/docs/index.html) |
| [hashable-derive](https://github.com/uartman/hashable-derive) | Facilities for deriving interface `Hashable` from package `hashable`. |  | [37a80fe](https://github.com/uartman/hashable-derive/commit/37a80fec1c72b7cbdb5a6e182f84899f34bcd1bd) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hashable-derive/docs/index.html) |
| [hashmap](https://github.com/Z-snails/idris2-hashmap) |  |  | [5c3e42c](https://github.com/Z-snails/idris2-hashmap/commit/5c3e42ce1a85b04dca1105c2513299404c8427e3) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hashmap/docs/index.html) |
| [hedgehog](https://github.com/stefan-hoeck/idris2-hedgehog) | A property based testing library with integrated shrinking |  | [f413d4b](https://github.com/stefan-hoeck/idris2-hedgehog/commit/f413d4bb7010063dedb15f29839accbc0617c4d4) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hedgehog/docs/index.html) |
| [hmac](https://git.sr.ht/~janus/hmac) | Hashed Message Authentication Code (HMAC). Provides `Data.Cryptography.HMAC`. Used in e.g. the `scram` package. | BSD-3 Clause | [14dbc91](https://git.sr.ht/~janus/hmac/commit/14dbc91cb3e84dcd70cdda8efe8e48e97f3fb8f5) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hmac/docs/index.html) |
| [http](https://github.com/idris-community/idris2-http) | A http client implementation in idris2 | ISC (refer to LICENSE file) | [0ff06cf](https://github.com/idris-community/idris2-http/commit/0ff06cf2c831cc9283d2e539978fedf599df2b17) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http/docs/index.html) |
| [http-client-api](https://github.com/stefan-hoeck/idris2-http-types) | Client-side interpreter for HTTP API |  | [8ee4543](https://github.com/stefan-hoeck/idris2-http-types/commit/8ee45433783fd7372ad4fd8af644c5a5fdaa9422) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http-client-api/docs/index.html) |
| [http-server-api](https://github.com/stefan-hoeck/idris2-http-types) | Server-side interpreter for HTTP API |  | [8ee4543](https://github.com/stefan-hoeck/idris2-http-types/commit/8ee45433783fd7372ad4fd8af644c5a5fdaa9422) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http-server-api/docs/index.html) |
| [http-types](https://github.com/stefan-hoeck/idris2-http-types) | Types and utilities for working with HTTP requests and responses |  | [8ee4543](https://github.com/stefan-hoeck/idris2-http-types/commit/8ee45433783fd7372ad4fd8af644c5a5fdaa9422) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http-types/docs/index.html) |
| [http2](https://git.sr.ht/~janus/http2) | Continuation based HTTP2 server. No IO. Used in `web-server-racket`. | BSD-3 Clause | [ce3e72a](https://git.sr.ht/~janus/http2/commit/ce3e72a7843c6c42b7b30d62699b675001fa1e6c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http2/docs/index.html) |
| [i-hate-parens](https://github.com/buzden/idris2-i-hate-parens) | Syntax for those who hate parenthesis | Apache-2.0 | [b4d8c34](https://github.com/buzden/idris2-i-hate-parens/commit/b4d8c3416197b0c4b95b455541668586df43693b) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/i-hate-parens/docs/index.html) |
| [idrall](https://github.com/alexhumphreys/idrall) | Dhall compiler for Idris2 |  | [36cf8f6](https://github.com/alexhumphreys/idrall/commit/36cf8f6dc9c0de60d2291109d4f019a1657370e2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idrall/docs/index.html) |
| [idris2](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2/docs/index.html) |
| [idris2-dep-graph](https://codeberg.org/tzemanovic/idris2-dep-graph) | Produce graphiz (dot) graph of package dependencies or module imports | BSD-3-Clause | [c7a8100](https://codeberg.org/tzemanovic/idris2-dep-graph/commit/c7a81006a1eddc2ed05708004310755568c8beff) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-dep-graph/docs/index.html) |
| [idris2-go](https://github.com/kbertalan/idris2-go) | Idris2 with Go backend |  | [070087e](https://github.com/kbertalan/idris2-go/commit/070087e7f216bd651df6f4491f71a6d812631dd7) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-go/docs/index.html) |
| [idris2-go-lib](https://github.com/kbertalan/idris2-go) | Library for generating Go source code |  | [070087e](https://github.com/kbertalan/idris2-go/commit/070087e7f216bd651df6f4491f71a6d812631dd7) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-go-lib/docs/index.html) |
| [idris2-lsp](https://github.com/idris-community/idris2-lsp) |  |  | [9a2f0ad](https://github.com/idris-community/idris2-lsp/commit/9a2f0ad6a95815fe3ed438ddba08c95574a4de54) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-lsp/docs/index.html) |
| [idrisGL](https://github.com/ECburx/Idris2GL) |  | GPL-3.0 License | [44da085](https://github.com/ECburx/Idris2GL/commit/44da0855bc8b2cfdf796ba9557e8c500395a8c41) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idrisGL/docs/index.html) |
| [if-unsolved-implicit](https://github.com/buzden/idris2-if-unsolved-implicit) | An interface helping to set a value to an implicit when it is unsolved | Apache-2.0 | [0e7f75b](https://github.com/buzden/idris2-if-unsolved-implicit/commit/0e7f75b83c17119ac2a1668905b9feeaa50f33b8) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/if-unsolved-implicit/docs/index.html) |
| [ilex](https://github.com/stefan-hoeck/idris2-ilex) | Generating fast Lexers from an Idris2 DSL |  | [07af8b5](https://github.com/stefan-hoeck/idris2-ilex/commit/07af8b537a36892c7b22a559238bdfe1fc788d36) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ilex/docs/index.html) |
| [ilex-core](https://github.com/stefan-hoeck/idris2-ilex) | Core data types and utilities for token bounds and parse errors |  | [07af8b5](https://github.com/stefan-hoeck/idris2-ilex/commit/07af8b537a36892c7b22a559238bdfe1fc788d36) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ilex-core/docs/index.html) |
| [ilex-debug](https://github.com/stefan-hoeck/idris2-ilex) | Some debugging utilities and pretty printers for the DFA generated by ilex |  | [07af8b5](https://github.com/stefan-hoeck/idris2-ilex/commit/07af8b537a36892c7b22a559238bdfe1fc788d36) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ilex-debug/docs/index.html) |
| [ilex-fasta](https://github.com/Matthew-Mosior/idris2-bioinformatics) | Stack-safe and efficient parser for the FASTA format. |  | [658f042](https://github.com/Matthew-Mosior/idris2-bioinformatics/commit/658f0427fde1a2c4d2f640bb162e615dacea8dae) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ilex-fasta/docs/index.html) |
| [ilex-json](https://github.com/stefan-hoeck/idris2-ilex) | Total and efficient parser and lexer for the JSON file format |  | [07af8b5](https://github.com/stefan-hoeck/idris2-ilex/commit/07af8b537a36892c7b22a559238bdfe1fc788d36) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ilex-json/docs/index.html) |
| [ilex-streams](https://github.com/stefan-hoeck/idris2-ilex) | Lexing streams of raw bytes |  | [07af8b5](https://github.com/stefan-hoeck/idris2-ilex/commit/07af8b537a36892c7b22a559238bdfe1fc788d36) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ilex-streams/docs/index.html) |
| [ilex-toml](https://github.com/stefan-hoeck/idris2-ilex) | Stack-safe and efficient parser for the TOML config file language |  | [07af8b5](https://github.com/stefan-hoeck/idris2-ilex/commit/07af8b537a36892c7b22a559238bdfe1fc788d36) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ilex-toml/docs/index.html) |
| [indexed](https://github.com/mattpolzin/idris-indexed) |  |  | [c99707f](https://github.com/mattpolzin/idris-indexed/commit/c99707f1db2efa2e97c465b16b525cb79b28f349) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/indexed/docs/index.html) |
| [indexed-graph](https://github.com/stefan-hoeck/idris2-indexed-graph) | Array-backed, order indexed, sparse, simple graphs in Idris2 | BSD-3 Clause | [0fb7f6e](https://github.com/stefan-hoeck/idris2-indexed-graph/commit/0fb7f6e01ee6f19ced2c89f489fb95539b08d489) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/indexed-graph/docs/index.html) |
| [iotaTime](https://github.com/jason-johnson/iotaTime) | Proof-oriented date, time, calendar, and timezone types for Idris 2 | BSD-3-Clause | [0b2588d](https://github.com/jason-johnson/iotaTime/commit/0b2588d877d39f2c847bfbc05008ba211a9c0454) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/iotaTime/docs/index.html) |
| [js](https://github.com/stefan-hoeck/idris2-dom) | Utilities for working with the JavaScript backends |  | [2bb2071](https://github.com/stefan-hoeck/idris2-dom/commit/2bb2071a849f2ffd07211cb5f23b9e39c9ded319) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/js/docs/index.html) |
| [json](https://github.com/stefan-hoeck/idris2-json) | Derivable JSON marshallers for Idris2 |  | [8b8fdfb](https://github.com/stefan-hoeck/idris2-json/commit/8b8fdfbd5dc6ca673931b54c1c791d4b5ebc304c) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/json/docs/index.html) |
| [json-simple](https://github.com/stefan-hoeck/idris2-json) | Simplified derivable JSON marshallers for simple people like me |  | [8b8fdfb](https://github.com/stefan-hoeck/idris2-json/commit/8b8fdfbd5dc6ca673931b54c1c791d4b5ebc304c) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/json-simple/docs/index.html) |
| [just-a-monad](https://github.com/Russoul/Just-a-Monad) |  |  | [4a69d28](https://github.com/Russoul/Just-a-Monad/commit/4a69d28651c6edefd30d313d6defd5914cb44931) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/just-a-monad/docs/index.html) |
| [katla](https://github.com/idris-community/katla) |  |  | [63f7683](https://github.com/idris-community/katla/commit/63f768340fc1e60295f075b65f67e2cf37dc33f5) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/katla/docs/index.html) |
| [katla-pandoc](https://github.com/idris-community/katla) |  |  | [63f7683](https://github.com/idris-community/katla/commit/63f768340fc1e60295f075b65f67e2cf37dc33f5) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/katla-pandoc/docs/index.html) |
| [katla-typst](https://github.com/idris-community/katla) |  |  | [63f7683](https://github.com/idris-community/katla/commit/63f768340fc1e60295f075b65f67e2cf37dc33f5) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/katla-typst/docs/index.html) |
| [lana](https://git.sr.ht/~janus/lana) | Bi-directional and extensible JSON schemas using tagless final. Including serialization/deserialization. | MIT | [1530178](https://git.sr.ht/~janus/lana/commit/15301789fed2985cbe1d31bb862731ba8de33b00) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lana/docs/index.html) |
| [lens](https://github.com/tokinanpa/idris2-lens) | Batteries-included profunctor optics | MIT | [d6bae26](https://github.com/tokinanpa/idris2-lens/commit/d6bae26222a0b2290bf4146279bdc31bb900d527) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lens/docs/index.html) |
| [linear](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linear/docs/index.html) |
| [linux](https://github.com/stefan-hoeck/idris2-linux) | System utilities for using Idris2 on GNU/Linux |  | [f34c638](https://github.com/stefan-hoeck/idris2-linux/commit/f34c638ce71f0a46b8b0ef471e2a43e9a91a5853) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linux/docs/index.html) |
| [literal](https://github.com/stefan-hoeck/idris2-literal) | Derivable interfaces for refined literals | BSD-3 | [f0fed86](https://github.com/stefan-hoeck/idris2-literal/commit/f0fed86ae9bd5b13d98e4dd18103a6e1f7f7c6b4) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/literal/docs/index.html) |
| [log-domain](https://github.com/idris-bayes/log-domain) | A small representation of numerical computations in the log domain. | The BSD 3-Clause License | [7eb33c3](https://github.com/idris-bayes/log-domain/commit/7eb33c36fb411b3e9dc43e0c5ad5d8f2f3dae80e) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/log-domain/docs/index.html) |
| [log4types](https://github.com/bio-aeon/log4types) | Composable structured logging for Idris 2 applications | MIT | [4ba9e4f](https://github.com/bio-aeon/log4types/commit/4ba9e4f5b731e1ec3ecb308094d8138a5daafedd) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/log4types/docs/index.html) |
| [log4types-async](https://github.com/bio-aeon/log4types) | Asynchronous background-fiber logging for log4types | MIT | [4ba9e4f](https://github.com/bio-aeon/log4types/commit/4ba9e4f5b731e1ec3ecb308094d8138a5daafedd) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/log4types-async/docs/index.html) |
| [log4types-core](https://github.com/bio-aeon/log4types) | Core algebra for composable logging, refined by dependent types | MIT | [4ba9e4f](https://github.com/bio-aeon/log4types/commit/4ba9e4f5b731e1ec3ecb308094d8138a5daafedd) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/log4types-core/docs/index.html) |
| [log4types-json](https://github.com/bio-aeon/log4types) | JSON backend for log4types structured logging | MIT | [4ba9e4f](https://github.com/bio-aeon/log4types/commit/4ba9e4f5b731e1ec3ecb308094d8138a5daafedd) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/log4types-json/docs/index.html) |
| [lsm-rrbvector](https://github.com/Matthew-Mosior/idris2-lsm-rrbvector) | A Log-Structured Merge Relaxed Radix Balanced Vector | BSD-3 Clause | [1f4f531](https://github.com/Matthew-Mosior/idris2-lsm-rrbvector/commit/1f4f53165c113da383f29de0d50dd69534b51e1d) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lsm-rrbvector/docs/index.html) |
| [lsp-lib](https://github.com/idris-community/lsp-lib) |  |  | [512504c](https://github.com/idris-community/lsp-lib/commit/512504c6680f9ee45d82f1cc06c596cc0be7c4ea) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lsp-lib/docs/index.html) |
| [markdown](https://codeberg.org/berg4478/idris2-text-markdown) | Markdown parser and renderer for Idris2. | MIT | [f4745e6](https://codeberg.org/berg4478/idris2-text-markdown/commit/f4745e6692995d0d00d8b0e412b91c77a1e54d83) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/markdown/docs/index.html) |
| [mk](https://github.com/buzden/idris2-mk) | A macro for accessing constructors of records or implementations, even unnamed | Apache-2.0 | [977b00c](https://github.com/buzden/idris2-mk/commit/977b00c2dad23bf395df171504fddd88e9d99a85) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/mk/docs/index.html) |
| [monad-bayes](https://github.com/idris-bayes/monad-bayes) | A probabilistic language with emphasis on compositional inference, based on the original Haskell library | The BSD 3-Clause License | [6b8d301](https://github.com/idris-bayes/monad-bayes/commit/6b8d3015a2317ab11e4a9205924d61094f570665) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/monad-bayes/docs/index.html) |
| [monocle](https://github.com/stefan-hoeck/idris2-monocle) | A simple library of derivable optics |  | [dfadd93](https://github.com/stefan-hoeck/idris2-monocle/commit/dfadd93fb1769e7f554262a23b399d0f0886bcc4) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/monocle/docs/index.html) |
| [mtl-tuple-impls](https://github.com/buzden/idris2-mtl-tuple-impls) | Tuple instances for the standard MTL interfaces | Apache-2.0 | [467afc7](https://github.com/buzden/idris2-mtl-tuple-impls/commit/467afc71919085f0c4d2b8f27a5b22aae9023227) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/mtl-tuple-impls/docs/index.html) |
| [multiplate](https://github.com/Z-snails/multiplate-idr) | Generic traversals for mutually recursive data types | MIT | [601d865](https://github.com/Z-snails/multiplate-idr/commit/601d865f1fc74b783879b50d17ffd2a949def902) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/multiplate/docs/index.html) |
| [ncurses-idris](https://github.com/mattpolzin/ncurses-idris) | NCurses support for Idris 2 apps compiled with the Chez Scheme backend. | MIT | [9f1e575](https://github.com/mattpolzin/ncurses-idris/commit/9f1e575d48cb2acb837f9713e003fbb6ddbf8f44) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ncurses-idris/docs/index.html) |
| [nested](https://gitlab.com/bss03/nested) | nested (or non-uniform) recursion schemes | AGPLv3 | [83a9b03](https://gitlab.com/bss03/nested/commit/83a9b03196d3a93b841cf281b649512313084a1a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/nested/docs/index.html) |
| [network](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/network/docs/index.html) |
| [node](https://github.com/kbertalan/idris2-node) | Node JS API bindings for Idris2 |  | [fb80b36](https://github.com/kbertalan/idris2-node/commit/fb80b36c76b4332259033beadbd2cd35aafe64d0) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/node/docs/index.html) |
| [numidr](https://github.com/tokinanpa/numidr) | Linear algebra and data science library | MIT | [bd1eee1](https://github.com/tokinanpa/numidr/commit/bd1eee136662ef638628bca9907ae64f1b7538f9) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/numidr/docs/index.html) |
| [okasaki-pfds](https://gitlab.com/bss03/idris2-okasaki-pfds) | Purely Functional Data Structures ala Okasaki |  | [a8dd0b8](https://gitlab.com/bss03/idris2-okasaki-pfds/commit/a8dd0b89dc307ef621f35e59216b11aadb128ade) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/okasaki-pfds/docs/index.html) |
| [oracle](https://github.com/Matthew-Mosior/idris2-oracle) | Idris2 bindings to the Oracle ODPI-C API | BSD-3 Clause | [d3701f1](https://github.com/Matthew-Mosior/idris2-oracle/commit/d3701f1ff851cb316fb7edee19e5abf7c9267f24) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/oracle/docs/index.html) |
| [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections |  | [6baee7d](https://github.com/stefan-hoeck/idris2-pack/commit/6baee7d5d59a93cf147de7b1208a2ad934645673) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack/docs/index.html) |
| [pack-admin](https://github.com/stefan-hoeck/idris2-pack) | Administration of pack's package collections |  | [6baee7d](https://github.com/stefan-hoeck/idris2-pack/commit/6baee7d5d59a93cf147de7b1208a2ad934645673) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack-admin/docs/index.html) |
| [pact-api](https://github.com/running-grass/idris2-pact) | A Type-safe REST API framework inspired by Servant |  | [a37470d](https://github.com/running-grass/idris2-pact/commit/a37470d35a9abe73114035ca56bd735422fbbab6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pact-api/docs/index.html) |
| [pact-client](https://github.com/running-grass/idris2-pact) | Client generated for Pact API |  | [a37470d](https://github.com/running-grass/idris2-pact/commit/a37470d35a9abe73114035ca56bd735422fbbab6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pact-client/docs/index.html) |
| [pact-server](https://github.com/running-grass/idris2-pact) | HTTP Server for Pact API |  | [a37470d](https://github.com/running-grass/idris2-pact/commit/a37470d35a9abe73114035ca56bd735422fbbab6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pact-server/docs/index.html) |
| [pact-todomvc](https://github.com/running-grass/idris2-pact) | A TodoMVC Example built with Pact API |  | [a37470d](https://github.com/running-grass/idris2-pact/commit/a37470d35a9abe73114035ca56bd735422fbbab6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pact-todomvc/docs/index.html) |
| [pact-wai](https://github.com/running-grass/idris2-pact) | Web Application Interface for Pact API |  | [a37470d](https://github.com/running-grass/idris2-pact/commit/a37470d35a9abe73114035ca56bd735422fbbab6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pact-wai/docs/index.html) |
| [papers](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/papers/docs/index.html) |
| [park_bench](https://github.com/Z-snails/park_bench) |  |  | [c9a212e](https://github.com/Z-snails/park_bench/commit/c9a212e4873cc533dee361e1614189c95a56c873) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/park_bench/docs/index.html) |
| [parser](https://github.com/stefan-hoeck/idris2-parser) | Types and utilities for writing total parsers and lexers |  | [9decb99](https://github.com/stefan-hoeck/idris2-parser/commit/9decb99fe27c3411c18850129715a49c64f1b1c0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser/docs/index.html) |
| [parser-json](https://github.com/stefan-hoeck/idris2-parser) | Total and efficient parser and lexer for the JSON file format |  | [9decb99](https://github.com/stefan-hoeck/idris2-parser/commit/9decb99fe27c3411c18850129715a49c64f1b1c0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser-json/docs/index.html) |
| [parser-show](https://github.com/stefan-hoeck/idris2-parser) | Parsing and pretty-printing regular Show output |  | [9decb99](https://github.com/stefan-hoeck/idris2-parser/commit/9decb99fe27c3411c18850129715a49c64f1b1c0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser-show/docs/index.html) |
| [parser-toml](https://github.com/stefan-hoeck/idris2-parser) | Total and efficient parser and lexer for the TOML config file language |  | [9decb99](https://github.com/stefan-hoeck/idris2-parser/commit/9decb99fe27c3411c18850129715a49c64f1b1c0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser-toml/docs/index.html) |
| [parser-tsv](https://github.com/stefan-hoeck/idris2-parser) | Efficient parser and marshallers for tab-separated values |  | [9decb99](https://github.com/stefan-hoeck/idris2-parser/commit/9decb99fe27c3411c18850129715a49c64f1b1c0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser-tsv/docs/index.html) |
| [parser-webidl](https://github.com/stefan-hoeck/idris2-parser) | A total parser and lexer for the WebIDL interface description language |  | [9decb99](https://github.com/stefan-hoeck/idris2-parser/commit/9decb99fe27c3411c18850129715a49c64f1b1c0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser-webidl/docs/index.html) |
| [pg](https://git.sr.ht/~janus/pg) | Continuation based PostgreSQL client. No IO use. Used in `web-server-racket`. |  | [4d3d554](https://git.sr.ht/~janus/pg/commit/4d3d5546ead083ece2108d4089b50f1268cfdeee) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pg/docs/index.html) |
| [pg-idris](https://github.com/mattpolzin/pg-idris) | Postgres support for Idris 2 programs compiled with the Chez Scheme or NodeJS backends. | MIT | [509bc46](https://github.com/mattpolzin/pg-idris/commit/509bc468c9b30cdd0e7f554deeec9cf1b0832863) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pg-idris/docs/index.html) |
| [pg-types](https://git.sr.ht/~janus/pg-types) | Data types for PostgreSQL clients. Also miscellaneous Bits32 to/from big-endian coding. Used in the pg and http2 packages. |  | [b854bbc](https://git.sr.ht/~janus/pg-types/commit/b854bbcfb5e9e303d836d9b5a733b0060eb9e90a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pg-types/docs/index.html) |
| [pipelines](https://gitlab.com/glaive-research/pipelines.git) |  |  | [a931a12](https://gitlab.com/glaive-research/pipelines.git/commit/a931a12b0fc3656ad279368deb4428cb2b38c144) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pipelines/docs/index.html) |
| [pjrt-plugin-xla-cpu](https://codeberg.org/joelberkeley/spidr) | XLA PJRT plugin for CPU. | AGPL-3.0-or-later | [4344927](https://codeberg.org/joelberkeley/spidr/commit/4344927fbe3a4592b26602285b7f51d64ab4fe83) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pjrt-plugin-xla-cpu/docs/index.html) |
| [pjrt-plugin-xla-cuda](https://codeberg.org/joelberkeley/spidr) | XLA PJRT plugin for CUDA-enabled GPUs. | AGPL-3.0-or-later | [4344927](https://codeberg.org/joelberkeley/spidr/commit/4344927fbe3a4592b26602285b7f51d64ab4fe83) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pjrt-plugin-xla-cuda/docs/index.html) |
| [positive-nat](https://github.com/buzden/idris2-positive-nat) | Strictly positive natural number data type | Apache-2.0 | [6390dd8](https://github.com/buzden/idris2-positive-nat/commit/6390dd8e0a0bd0702a5555365ca5c83b0bed62e3) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/positive-nat/docs/index.html) |
| [posix](https://github.com/stefan-hoeck/idris2-linux) | POSIX compliant system calls |  | [f34c638](https://github.com/stefan-hoeck/idris2-linux/commit/f34c638ce71f0a46b8b0ef471e2a43e9a91a5853) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
| [prelude](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prelude/docs/index.html) |
| [prettier](https://github.com/Z-snails/prettier) |  |  | [666b4e6](https://github.com/Z-snails/prettier/commit/666b4e6ba397e332deb4076d56ce745c8fb542a0) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prettier/docs/index.html) |
| [prettier-ansi](https://github.com/idris-community/idris2-ansi) | Colored terminal output for the Bernardy-style pretty printer | BSD-3 Clause | [90f80ac](https://github.com/idris-community/idris2-ansi/commit/90f80ac513572877a3de818b43f837fa59265fec) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prettier-ansi/docs/index.html) |
| [pretty-show](https://github.com/stefan-hoeck/idris2-pretty-show) | Pretty printing of values with a Show instance |  | [07b79c5](https://github.com/stefan-hoeck/idris2-pretty-show/commit/07b79c5e69cd3f98bd23ff0019b23fe345a95a91) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pretty-show/docs/index.html) |
| [prim](https://github.com/stefan-hoeck/idris2-prim) | Laws and utilities for working with primitives in Idris2 | BSD-3 Clause | [a875bbe](https://github.com/stefan-hoeck/idris2-prim/commit/a875bbe1f11638946383b80eaf27bc471e56e341) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prim/docs/index.html) |
| [profiler](https://github.com/stefan-hoeck/idris2-profiler) | A simple profiling utility for Idris 2 | BSD-3 Clause | [4cc28b4](https://github.com/stefan-hoeck/idris2-profiler/commit/4cc28b478991d2d13d8505492e044006c5289720) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/profiler/docs/index.html) |
| [profunctors](https://github.com/tokinanpa/idris2-profunctors) | Profunctors for Idris2 | MIT | [17295bb](https://github.com/tokinanpa/idris2-profunctors/commit/17295bb928a4a128d315f6bdab2978d6ed2cfabf) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/profunctors/docs/index.html) |
| [promise](https://github.com/kbertalan/idris2-promise) | Promise for Idris2 |  | [0b17165](https://github.com/kbertalan/idris2-promise/commit/0b1716525ee10ed3a4f0d7132107c83e88f8eb99) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/promise/docs/index.html) |
| [quantifiers-extra](https://github.com/stefan-hoeck/idris2-quantifiers-extra) | Some additions to `Data.List.Quantifires` | BSD-3 Clause | [a776c21](https://github.com/stefan-hoeck/idris2-quantifiers-extra/commit/a776c21b2563074e2a3861ec3ef2081eedeef15c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/quantifiers-extra/docs/index.html) |
| [qutescript](https://github.com/stefan-hoeck/idris2-qutescript) | Writing userscripts for qutebrowser in Idris2 |  | [0c52c5e](https://github.com/stefan-hoeck/idris2-qutescript/commit/0c52c5edaddd6fca7006c3cc50df5ccca330f134) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/qutescript/docs/index.html) |
| [racket-tcp](https://git.sr.ht/~janus/racket-tcp) | Thin bindings to the [racket/tcp](https://docs.racket-lang.org/reference/tcp.html) library. Supports concurrency using the Racket custodian. Also supports OpenSSL for TLS. | BSD-3 Clause | [1fb1358](https://git.sr.ht/~janus/racket-tcp/commit/1fb135821a0fad9770393473e1dc4dee0d26e1e5) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/racket-tcp/docs/index.html) |
| [random-pure](https://github.com/buzden/idris2-random-pure) | Pure pseudo-random interface and splitmix implementation | Apache-2.0 | [bfe091b](https://github.com/buzden/idris2-random-pure/commit/bfe091b2ee1bc561ca2e6c17ddeb9972964bd6e8) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/random-pure/docs/index.html) |
| [ratio](https://github.com/tokinanpa/idris2-ratio) | Arbitrary-precision ratio types | MIT | [1bdfde8](https://github.com/tokinanpa/idris2-ratio/commit/1bdfde80d70c1dc63df186e32f7c86ba6545dff2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ratio/docs/index.html) |
| [records](https://github.com/kuribas/idris-records) | extensible, specification based records | BSD3 | [4a57846](https://github.com/kuribas/idris-records/commit/4a5784648d3f8b544e7a375431fa70698e8ed6fc) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/records/docs/index.html) |
| [ref1](https://github.com/stefan-hoeck/idris2-ref1) | Linear mutable references and utilities |  | [7c7f732](https://github.com/stefan-hoeck/idris2-ref1/commit/7c7f732504fe3a1453c0c02060307903af264ab5) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ref1/docs/index.html) |
| [refined](https://github.com/stefan-hoeck/idris2-refined) | Refinement types in Idris2 | BSD-3 | [7ad095d](https://github.com/stefan-hoeck/idris2-refined/commit/7ad095dc89232cfa667e47ae507b13f132837fdd) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/refined/docs/index.html) |
| [refined-json](https://github.com/stefan-hoeck/idris2-refined) | Deriving JSON marshallers for refinement types | BSD-3 | [7ad095d](https://github.com/stefan-hoeck/idris2-refined/commit/7ad095dc89232cfa667e47ae507b13f132837fdd) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/refined-json/docs/index.html) |
| [refined-tsv](https://github.com/stefan-hoeck/idris2-refined) | Deriving TSV marshallers for refinement types | BSD-3 | [7ad095d](https://github.com/stefan-hoeck/idris2-refined/commit/7ad095dc89232cfa667e47ae507b13f132837fdd) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/refined-tsv/docs/index.html) |
| [regex](https://github.com/buzden/idris2-regex) | Interfaces for building, matching, parsing and printing regular expressions with a naive implementation | Apache-2.0 | [8dcb00d](https://github.com/buzden/idris2-regex/commit/8dcb00df356272c3f3856098d6e165a08e9ef81c) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/regex/docs/index.html) |
| [resource-pool](https://github.com/Matthew-Mosior/idris2-resource-pool) | A high-performance striped resource pooling implementation | BSD-3 Clause | [c809a74](https://github.com/Matthew-Mosior/idris2-resource-pool/commit/c809a7426745880653e66a0046a30eddd813076e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/resource-pool/docs/index.html) |
| [rhone](https://github.com/stefan-hoeck/idris2-rhone) | Arrowized functional reactive programming in Idris2 |  | [e652d56](https://github.com/stefan-hoeck/idris2-rhone/commit/e652d56901ebfea588dbdc3316df85200f232d57) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rhone/docs/index.html) |
| [rhone-js](https://github.com/stefan-hoeck/idris2-rhone-js) | Reactive single page web applications in Idris2 |  | [543fa51](https://github.com/stefan-hoeck/idris2-rhone-js/commit/543fa513206018ab152791e090746f09df551d76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rhone-js/docs/index.html) |
| [rio](https://github.com/stefan-hoeck/idris2-rio) | A simple effect system based on the RIO monad | BSD-3 Clause | [ba17bcb](https://github.com/stefan-hoeck/idris2-rio/commit/ba17bcbaecedbfe8bccd640c5769f2f85347386f) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rio/docs/index.html) |
| [rtlsdr](https://github.com/victoredwardocallaghan/idris2-rtlsdr) | package that provides low level bindings to rtlsdr |  | [5ee5a09](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/5ee5a09b04b89de4d5fb4e347a136ec158558032) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rtlsdr/docs/index.html) |
| [scgi](https://github.com/idris-community/idris2-scgi) | Utilities for writing SCGI servers in Idris2 |  | [80c5e0e](https://github.com/idris-community/idris2-scgi/commit/80c5e0e3e40a2ce853fe5dac9b954cf4ad426e89) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/scgi/docs/index.html) |
| [scram](https://git.sr.ht/~janus/scram) | Salted Challenge Response Authentication Mechanism (SCRAM), based on `hash`, `hmac`, `sha`, `base64` packages. Provides `Data.Cryptography.SCRAM`. | BSD-3 Clause | [f028237](https://git.sr.ht/~janus/scram/commit/f02823727535bbe673bf4bd40f7a5d1fefc3923e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/scram/docs/index.html) |
| [sha](https://git.sr.ht/~janus/sha) | SHA (Secure Hashing Algorithm) implementations in C, copied from cryptohash-sha1, cryptohash-sha256. Provides `Data.Cryptography.Hash.SHA`. | BSD-3 Clause | [24a0a37](https://git.sr.ht/~janus/sha/commit/24a0a37332a97187e9e1bf923a0465b58f07a1a4) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sha/docs/index.html) |
| [simple-tests](https://gitlab.com/avidela/idris2-simple-tests) |  |  | [945aab7](https://gitlab.com/avidela/idris2-simple-tests/commit/945aab794e42d2d06c88433f9fd33c2c417e14d9) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/simple-tests/docs/index.html) |
| [snocvect](https://github.com/mattpolzin/idris-snocvect) |  | MIT | [dc2492b](https://github.com/mattpolzin/idris-snocvect/commit/dc2492be7e1d471c9b4d21e30339ea1ad8d24afa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/snocvect/docs/index.html) |
| [sop](https://github.com/stefan-hoeck/idris2-sop) | Generic representation of data types as sums of products | BSD-2 Clause | [1e01b67](https://github.com/stefan-hoeck/idris2-sop/commit/1e01b67a11857e9c9a0ea5fb2870bd915b5a223d) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sop/docs/index.html) |
| [spidr](https://codeberg.org/joelberkeley/spidr) | Hardware-accelerated machine learning with dependent types. | AGPL-3.0-or-later | [4344927](https://codeberg.org/joelberkeley/spidr/commit/4344927fbe3a4592b26602285b7f51d64ab4fe83) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/spidr/docs/index.html) |
| [sqlite3](https://github.com/stefan-hoeck/idris2-sqlite3) | Idris2 bindings to the sqlite3 API | BSD-3 Clause | [78deeaf](https://github.com/stefan-hoeck/idris2-sqlite3/commit/78deeaf25b9a82073393f557e9e77848cf9364ac) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3/docs/index.html) |
| [sqlite3-rio](https://github.com/stefan-hoeck/idris2-sqlite3) | RIO wrappers for the sqlite3 library | BSD-3 Clause | [78deeaf](https://github.com/stefan-hoeck/idris2-sqlite3/commit/78deeaf25b9a82073393f557e9e77848cf9364ac) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3-rio/docs/index.html) |
| [sqlite3-streams](https://github.com/stefan-hoeck/idris2-sqlite3) | Streaming SQlite results | BSD-3 Clause | [78deeaf](https://github.com/stefan-hoeck/idris2-sqlite3/commit/78deeaf25b9a82073393f557e9e77848cf9364ac) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3-streams/docs/index.html) |
| [streams](https://github.com/stefan-hoeck/idris2-streams) | Functional, effectful streaming with resource management |  | [83980a9](https://github.com/stefan-hoeck/idris2-streams/commit/83980a9e228cb2d6d8ca7ace9f1f64ce047cfcf7) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/streams/docs/index.html) |
| [streams-posix](https://github.com/stefan-hoeck/idris2-streams) | Streams on top of the posix API |  | [83980a9](https://github.com/stefan-hoeck/idris2-streams/commit/83980a9e228cb2d6d8ca7ace9f1f64ce047cfcf7) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/streams-posix/docs/index.html) |
| [string-builder](https://github.com/Z-snails/string-builder) | Efficient string builders |  | [6dfb5e0](https://github.com/Z-snails/string-builder/commit/6dfb5e0070274ead1b8fd4e1229b5254da7ddd15) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/string-builder/docs/index.html) |
| [string-search](https://git.sr.ht/~janus/string-search) | Search for the index of a `Buffer` contained in another `Buffer`. Uses `memmem` from `libc`. Also provides `splitBits8 : List Bits8 -> List Bits8 -> Maybe (List Bits8, List Bits8)`. | BSD-3 Clause | [96b3ba2](https://git.sr.ht/~janus/string-search/commit/96b3ba239f8bb7b2cf11b6078efde10057b5821a) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/string-search/docs/index.html) |
| [stringsearch-algorithms](https://github.com/Matthew-Mosior/idris2-stringsearch-algorithms) | Fast searching, splitting and replacing of ByteStrings | BSD-3 Clause | [a4128d8](https://github.com/Matthew-Mosior/idris2-stringsearch-algorithms/commit/a4128d8058a2bf97c721f5cc4966e4b3854030b7) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/stringsearch-algorithms/docs/index.html) |
| [structures](https://git.sr.ht/~thatonelutenist/Structures) | Collection of data structures for Idris 2 | Parity OR Prosperity | [cd11a19](https://git.sr.ht/~thatonelutenist/Structures/commit/cd11a19794a139ccb14441c4d522de3d2b201083) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/structures/docs/index.html) |
| [summary-stat](https://github.com/buzden/idris2-summary-stat) | Facilities for summary statistics | Apache-2.0 | [9e7985a](https://github.com/buzden/idris2-summary-stat/commit/9e7985ab433d72ab08e3df65c7520c311376f64e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/summary-stat/docs/index.html) |
| [svg](https://github.com/stefan-hoeck/idris2-svg) | Vector graphics in Idris2 |  | [dc4784f](https://github.com/stefan-hoeck/idris2-svg/commit/dc4784fe70f45cc25f9bdd212df0dd6a0e9a67eb) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/svg/docs/index.html) |
| [swirl](https://github.com/buzden/idris2-swirl) | Swirls, streams of monadic actions | Apache-2.0 | [45de1f0](https://github.com/buzden/idris2-swirl/commit/45de1f077250f5242f8d894238e64f709e432bba) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/swirl/docs/index.html) |
| [systemd](https://github.com/Matthew-Mosior/idris2-systemd) | A systemd library | BSD-3 Clause | [b29785b](https://github.com/Matthew-Mosior/idris2-systemd/commit/b29785bb24ab5963c1640acdd209fef9f28e7455) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/systemd/docs/index.html) |
| [tailrec](https://github.com/stefan-hoeck/idris2-tailrec) | Provably total, stack-safe monadic recursion in Idris2 | BSD-3 Clause | [2734dfd](https://github.com/stefan-hoeck/idris2-tailrec/commit/2734dfdac3dedafcc0140b5388af760d0729b62f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tailrec/docs/index.html) |
| [telescope](https://gitlab.com/avidela/idris2-telescope.git) |  |  | [e20f473](https://gitlab.com/avidela/idris2-telescope.git/commit/e20f473ddd18f1104c0a2a8bc17b36b2ea9fad03) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/telescope/docs/index.html) |
| [tensortype](https://github.com/bgavran/TensorType) | Type-safe pure functional tensor processing framework, supporting non-cubical tensors | AGPL-3.0 | [4d72b0d](https://github.com/bgavran/TensorType/commit/4d72b0d3f45c53cd26c462fc6fa1d56731e7218c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tensortype/docs/index.html) |
| [test](https://github.com/idris-lang/Idris2) |  |  | [1c630e6](https://github.com/idris-lang/Idris2/commit/1c630e67c386629a0fbbc6b78a59176fde7f0a76) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/test/docs/index.html) |
| [tester](https://github.com/hydrolarus/tester-idr) |  |  | [3dcdb54](https://github.com/hydrolarus/tester-idr/commit/3dcdb54ed578a14597a17cb93c926734a9da69ca) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tester/docs/index.html) |
| [theory](https://github.com/JankaGramofonomanka/idris-theory) | A set of theorems, mostly about lists | MIT | [ff2ec34](https://github.com/JankaGramofonomanka/idris-theory/commit/ff2ec3487bfb70746173cdafda09ee55418a63f0) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/theory/docs/index.html) |
| [time-for-sleep](https://github.com/buzden/idris2-time-for-sleep) | Some time type + interfaces for getting time and sleeping | Apache-2.0 | [7ce0932](https://github.com/buzden/idris2-time-for-sleep/commit/7ce093209bf8f6a3ea7560812bacacb08660d9a5) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/time-for-sleep/docs/index.html) |
| [timeit](https://github.com/MarcelineVQ/idris2-timeit) | Plain simple timing of actions for HasIO | CC0 (refer to LICENSE file) | [9566f71](https://github.com/MarcelineVQ/idris2-timeit/commit/9566f71e9e7a68e8da4a30b8318f40099dda5c11) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/timeit/docs/index.html) |
| [tls](https://github.com/idris-community/idris2-tls) | A portable idris2 implementation of TLS | ISC (refer to LICENSE file) | [29e9ccb](https://github.com/idris-community/idris2-tls/commit/29e9ccb1510a8e26c6434712f55daf240a627feb) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tls/docs/index.html) |
| [toml](https://github.com/hydrolarus/toml-idr) |  |  | [7e5c4f3](https://github.com/hydrolarus/toml-idr/commit/7e5c4f3cc2ff028f665653b43c4c1f9b0a8211e2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/toml/docs/index.html) |
| [type-aligned](https://gitlab.com/bss03/type-aligned) | Type aligned sequences (and misc. structures) for reflection without remorse | AGPL-3.0-or-later | [ff95d40](https://gitlab.com/bss03/type-aligned/commit/ff95d40aebbde14e48b4bccf006bea5bab256ada) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/type-aligned/docs/index.html) |
| [typelevel-emptiness-collections](https://github.com/buzden/idris2-typelevel-emptiness-collections) | Collections with type-level control of emptiness, e.g. generalisation of List and List1 | Apache-2.0 | [8dfc9c6](https://github.com/buzden/idris2-typelevel-emptiness-collections/commit/8dfc9c675618e7e1478ab1ce7e1bd95b50c66087) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/typelevel-emptiness-collections/docs/index.html) |
| [tyre](https://github.com/kasiaMarek/TyRE) | A typed regex parser |  | [5ad08fe](https://github.com/kasiaMarek/TyRE/commit/5ad08fedd515d42058387a73c513abe996677c39) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyre/docs/index.html) |
| [tyttp](https://github.com/kbertalan/tyttp) | An experimental web server framework targeting NodeJS |  | [8af0a3d](https://github.com/kbertalan/tyttp/commit/8af0a3d6f37191dd36cc7f30a82af28bbcd82a9e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp/docs/index.html) |
| [tyttp-adapter-node](https://github.com/kbertalan/tyttp) | An experimental web server framework targeting NodeJS |  | [8af0a3d](https://github.com/kbertalan/tyttp/commit/8af0a3d6f37191dd36cc7f30a82af28bbcd82a9e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp-adapter-node/docs/index.html) |
| [tyttp-json](https://github.com/kbertalan/tyttp) | JSON payload consumer and producer for TyTTP web framework |  | [8af0a3d](https://github.com/kbertalan/tyttp/commit/8af0a3d6f37191dd36cc7f30a82af28bbcd82a9e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp-json/docs/index.html) |
| [uniplate](https://github.com/Z-snails/uniplate-idr) |  | MIT and BSD-3 | [caac354](https://github.com/Z-snails/uniplate-idr/commit/caac354759a62a52596b6f77971327e17ff81c0f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/uniplate/docs/index.html) |
| [url](https://github.com/running-grass/idris2-url) | A url library for idris2 | MIT | [7198814](https://github.com/running-grass/idris2-url/commit/7198814cb1493691254f548e7bff93052b87dd84) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/url/docs/index.html) |
| [utf8](https://git.sr.ht/~janus/utf8) | UTF-8 encoding and decoding, thin wrapper around the 'array' library | BSD-3 Clause | [f3584f3](https://git.sr.ht/~janus/utf8/commit/f3584f3cf7ac09bd566b5cc5301192db272d03c9) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/utf8/docs/index.html) |
| [uuid-base](https://codeberg.org/joelberkeley/uuid) | UUIDs for Idris2 | MIT License | [7b27013](https://codeberg.org/joelberkeley/uuid/commit/7b2701307df7fa99572a0a06e977883eaffe4aad) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/uuid-base/docs/index.html) |
| [uuid-c](https://codeberg.org/joelberkeley/uuid) | UUIDs for Idris2 | MIT License | [7b27013](https://codeberg.org/joelberkeley/uuid/commit/7b2701307df7fa99572a0a06e977883eaffe4aad) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/uuid-c/docs/index.html) |
| [uuid-js](https://codeberg.org/joelberkeley/uuid) | UUIDs for Idris2 | MIT License | [7b27013](https://codeberg.org/joelberkeley/uuid/commit/7b2701307df7fa99572a0a06e977883eaffe4aad) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/uuid-js/docs/index.html) |
| [uv](https://github.com/stefan-hoeck/idris2-uv) | Idris2 bindings to libuv |  | [e388bf3](https://github.com/stefan-hoeck/idris2-uv/commit/e388bf34404410cbea14924dda7f7fcabc33b2a4) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/uv/docs/index.html) |
| [uv-data](https://github.com/stefan-hoeck/idris2-uv) | Generated constants fir idris2-uv |  | [e388bf3](https://github.com/stefan-hoeck/idris2-uv/commit/e388bf34404410cbea14924dda7f7fcabc33b2a4) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/uv-data/docs/index.html) |
| [weaker-traversals](https://github.com/buzden/idris2-weaker-traversals) | Traversals that are weaker than `Traversable` and thus more broadly applicable | Apache-2.0 | [0c3cb74](https://github.com/buzden/idris2-weaker-traversals/commit/0c3cb74cea9c4e838e82c2536198a0a1de2a5d8d) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/weaker-traversals/docs/index.html) |
| [web-server-racket](https://git.sr.ht/~janus/web-server-racket) | HTTP2 server with PostgreSQL access. See usage example in `web-server-racket-hello-world`. Only supports Racket due to reliance on the `racket-tcp` library. | BSD-3 Clause | [0d67bc5](https://git.sr.ht/~janus/web-server-racket/commit/0d67bc5ef7c0ae112d6a61dbd011944cdfb15ccc) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/web-server-racket/docs/index.html) |
| [web-server-racket-hello-world](https://git.sr.ht/~janus/web-server-racket-hello-world) | Example demo web server that computes 1+1 on a PostgreSQL server and returns the result over HTTP2. Racket only. | BSD-3 Clause | [afa3aa1](https://git.sr.ht/~janus/web-server-racket-hello-world/commit/afa3aa1e8b8e7367802731cb5e239ecfeed63aad) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/web-server-racket-hello-world/docs/index.html) |
| [webidl](https://github.com/stefan-hoeck/idris2-webidl) |  |  | [eaf66e8](https://github.com/stefan-hoeck/idris2-webidl/commit/eaf66e8247dac112fd535cb3371a300d5a220fd7) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/webidl/docs/index.html) |
| [xml](https://github.com/madman-bob/idris2-xml) |  |  | [bfb02ff](https://github.com/madman-bob/idris2-xml/commit/bfb02ff5c195218de7d33ed0ee9e6a26c60c0f0b) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/xml/docs/index.html) |
| [yaml](https://github.com/mitchmindtree/idris2-yaml) | Total parser for the YAML file format | BSD-2-Clause | [d946ee0](https://github.com/mitchmindtree/idris2-yaml/commit/d946ee063cad5367f30630b357e142713ee04495) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/yaml/docs/index.html) |


## Failing Packages

| Package | Dependencies | Commit |
| --- | --- | --- |


## Unresolved Packages

| Package | Error |
| --- | --- |