Skip to content

Commit

Permalink
[ check ] collection update
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Jan 16, 2025
1 parent 91628fe commit 374c280
Show file tree
Hide file tree
Showing 2 changed files with 1,226 additions and 3 deletions.
6 changes: 3 additions & 3 deletions STATUS.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,8 +13,8 @@
| [ansi](https://github.com/idris-community/idris2-ansi) | ANSI terminal escape sequences | BSD-3 Clause | [f3cac49](https://github.com/idris-community/idris2-ansi/commit/f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e) | skipped | [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) | skipped | [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 | | [3f14963](https://github.com/stefan-hoeck/idris2-array/commit/3f14963a645d3f0dd53f8c421416e25ca80cae7d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/array/docs/index.html) |
| [async](https://github.com/stefan-hoeck/idris2-async) | Asynchronous and concurrent computations in Idris2 | | [6812fc3](https://github.com/stefan-hoeck/idris2-async/commit/6812fc3655849a0de4c918df0867d4eed5130c67) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async/docs/index.html) |
| [async-epoll](https://github.com/stefan-hoeck/idris2-async) | An epoll-based event loop for asynchronous computations on Linux | | [6812fc3](https://github.com/stefan-hoeck/idris2-async/commit/6812fc3655849a0de4c918df0867d4eed5130c67) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-epoll/docs/index.html) |
| [async](https://github.com/stefan-hoeck/idris2-async) | Asynchronous and concurrent computations in Idris2 | | [02ff50b](https://github.com/stefan-hoeck/idris2-async/commit/02ff50b411b37550385207bfa5aa9e4a0c0f132e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async/docs/index.html) |
| [async-epoll](https://github.com/stefan-hoeck/idris2-async) | An epoll-based event loop for asynchronous computations on Linux | | [02ff50b](https://github.com/stefan-hoeck/idris2-async/commit/02ff50b411b37550385207bfa5aa9e4a0c0f132e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-epoll/docs/index.html) |
| [barbies](https://github.com/stefan-hoeck/idris2-barbies) | Barbies: Data types that can change their clothes | BSD-3 | [641f15c](https://github.com/stefan-hoeck/idris2-barbies/commit/641f15ca32653eb1580c40fb7e6865f7619158ca) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/barbies/docs/index.html) |
| [base](https://github.com/idris-lang/Idris2) | | | [2c56b87](https://github.com/idris-lang/Idris2/commit/2c56b87abf35d95d44afaff06574be11588800fc) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base/docs/index.html) |
| [base64](https://git.sr.ht/~janus/base64) | Base64 decoding/encoding, based on C. Provides `Data.String.Base64`. Used in e.g. the `scram` package. | BSD-3-Clause | [886d939](https://git.sr.ht/~janus/base64/commit/886d93952ac87f3a091765d2680fa731624d0ef3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base64/docs/index.html) |
Expand All @@ -38,7 +38,7 @@
| [cozippable](https://github.com/buzden/idris2-cozippable) | Cozippable interface and implementations | Apache-2.0 | [157960a](https://github.com/buzden/idris2-cozippable/commit/157960afd73f8f30a9521f936945991dd8369a35) | skipped | [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 | | [9a581f6](https://github.com/stefan-hoeck/idris2-cptr/commit/9a581f6a58a30c05632e0f4e226b242ccab94c91) | skipped | [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 | [15866ef](https://github.com/stefan-hoeck/idris2-crypt/commit/15866ef4869d29873fa734a2732805ca415aad3e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/crypt/docs/index.html) |
| [cyby-draw](https://github.com/stefan-hoeck/idris2-cyby-draw) | A drawing tool for molecules running in the browser | | [e246b4c](https://github.com/stefan-hoeck/idris2-cyby-draw/commit/e246b4c9e55d06a603e21354cc9599d784f49462) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cyby-draw/docs/index.html) |
| [cyby-draw](https://github.com/stefan-hoeck/idris2-cyby-draw) | A drawing tool for molecules running in the browser | | [15f16e4](https://github.com/stefan-hoeck/idris2-cyby-draw/commit/15f16e439028d4b8d733246540f2a50a2b20da1b) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cyby-draw/docs/index.html) |
| [dependent-map](https://github.com/JankaGramofonomanka/idris-dependent-map) | A port of the `dependent-map` package from Hackage | BSD-3 Clause | [f2896d0](https://github.com/JankaGramofonomanka/idris-dependent-map/commit/f2896d04876d2aebb437a6cd780dbb871765c863) | skipped | [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 | [75e7d15](https://github.com/buzden/idris2-dependent-vect/commit/75e7d157e2d450eeecf7d630989b0e10fb12ede6) | skipped | [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 | [3d9c571](https://github.com/buzden/deptycheck/commit/3d9c571abfdeabb41f13a7d7e39134097ceef664) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/deptycheck/docs/index.html) |
Expand Down
Loading

0 comments on commit 374c280

Please sign in to comment.