Skip to content

Commit

Permalink
[ check ] collection update
Browse files Browse the repository at this point in the history 
https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/10781321334
  • Loading branch information
@github-actions
github-actions[bot] committed Sep 9, 2024
1 parent a6c2ec7 commit 63ba03b
Show file tree
Hide file tree
Showing 2 changed files with 1,142 additions and 4 deletions.
8 changes: 4 additions & 4 deletions STATUS.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
| [cheerio](https://github.com/running-grass/idris2-playground) | A cheerio binding for nodejs. provide css selector and attr getter. | | [0dacfd8](https://github.com/running-grass/idris2-playground/commit/0dacfd81b49749d68a5fd905e95c860fdab072ab) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cheerio/docs/index.html) |
| [chem](https://github.com/stefan-hoeck/idris2-chem) | Pure functional cheminformatics in Idris | | [ab06f53](https://github.com/stefan-hoeck/idris2-chem/commit/ab06f53f11885b1976143f18a5494b2e7678d918) | skipped | [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 | | [ab06f53](https://github.com/stefan-hoeck/idris2-chem/commit/ab06f53f11885b1976143f18a5494b2e7678d918) | skipped | [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 | [ff239e6](https://github.com/buzden/idris2-collection-utils/commit/ff239e69db8e2df1657009628e4d6b6fe01cb738) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collection-utils/docs/index.html) |
| [collection-utils](https://github.com/buzden/idris2-collection-utils) | Non-standard functions for standard Idris 2 collections | Apache-2.0 | [48a3300](https://github.com/buzden/idris2-collection-utils/commit/48a3300dad6082b8aa28aab3dcafe3ff7073dd5d) | skipped | [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) | skipped | [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) | skipped | [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. | | [519dabe](https://git.sr.ht/~janus/cont/commit/519dabee666fafc846173170c8755cde67f2931a) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cont/docs/index.html) |
Expand Down Expand Up @@ -86,7 +86,7 @@
| [lana](https://git.sr.ht/~janus/lana) | Bi-directional and extensible JSON schemas using tagless final. Including serialization/deserialization. | MIT | [63964db](https://git.sr.ht/~janus/lana/commit/63964db7d4b8d941445d4fd9aa3c453102b3632f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lana/docs/index.html) |
| [lens](https://github.com/kiana-S/idris2-lens) | Batteries-included profunctor optics | MIT | [da8f3a0](https://github.com/kiana-S/idris2-lens/commit/da8f3a05e60673a0700765bdbfdd33f33cb8fd4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lens/docs/index.html) |
| [linear](https://github.com/idris-lang/Idris2) | | | [5459e17](https://github.com/idris-lang/Idris2/commit/5459e1726582c7326c3846bd98dfaeb9ac25cdfc) | skipped | [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 | | [06b801a](https://github.com/stefan-hoeck/idris2-linux/commit/06b801ae91cb8222b55ce27e6e4f155b64546370) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linux/docs/index.html) |
| [linux](https://github.com/stefan-hoeck/idris2-linux) | System utilities for using Idris2 on GNU/Linux | | [b0fb601](https://github.com/stefan-hoeck/idris2-linux/commit/b0fb6011e5dbc0bfb5c3074318d3933ec08b77e6) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linux/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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/log-domain/docs/index.html) |
| [lsp-lib](https://github.com/idris-community/lsp-lib) | | | [b54136b](https://github.com/idris-community/lsp-lib/commit/b54136be0656c5040397c5a83220b350ea3f29cc) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lsp-lib/docs/index.html) |
| [markdown](https://github.com/running-grass/idris2-markdown) | A markdown parser for idris2 | MIT | [3833426](https://github.com/running-grass/idris2-markdown/commit/38334267cbbe0ed067320d2e8bec36b08f475f5a) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/markdown/docs/index.html) |
Expand Down Expand Up @@ -115,7 +115,7 @@
| [pjrt-plugin-xla-cpu](https://github.com/joelberkeley/spidr) | XLA PJRT plugin for CPU. | Apache License, Version 2.0 | [d761892](https://github.com/joelberkeley/spidr/commit/d76189274c7bebc87d187ca1b53b6fa84f6511b7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pjrt-plugin-xla-cpu/docs/index.html) |
| [pjrt-plugin-xla-cuda](https://github.com/joelberkeley/spidr) | XLA PJRT plugin for CUDA-enabled GPUs. | Apache License, Version 2.0 | [d761892](https://github.com/joelberkeley/spidr/commit/d76189274c7bebc87d187ca1b53b6fa84f6511b7) | skipped | [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 | [b9751d9](https://github.com/buzden/idris2-positive-nat/commit/b9751d9ca5e3b5cbe4f9d5bf581d24c29dee9b1f) | skipped | [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 | | [06b801a](https://github.com/stefan-hoeck/idris2-linux/commit/06b801ae91cb8222b55ce27e6e4f155b64546370) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
| [posix](https://github.com/stefan-hoeck/idris2-linux) | POSIX compliant system calls | | [b0fb601](https://github.com/stefan-hoeck/idris2-linux/commit/b0fb6011e5dbc0bfb5c3074318d3933ec08b77e6) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
| [prelude](https://github.com/idris-lang/Idris2) | | | [5459e17](https://github.com/idris-lang/Idris2/commit/5459e1726582c7326c3846bd98dfaeb9ac25cdfc) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prelude/docs/index.html) |
| [prettier](https://github.com/Z-snails/prettier) | | | [572ba6e](https://github.com/Z-snails/prettier/commit/572ba6eec87e30127fb59341093d5588081428f7) | skipped | [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 | [f3cac49](https://github.com/idris-community/idris2-ansi/commit/f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prettier-ansi/docs/index.html) |
Expand All @@ -136,7 +136,7 @@
| [rhone](https://github.com/stefan-hoeck/idris2-rhone) | Arrowized functional reactive programming in Idris2 | | [e652d56](https://github.com/stefan-hoeck/idris2-rhone/commit/e652d56901ebfea588dbdc3316df85200f232d57) | skipped | [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) | skipped | [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 | [c34de47](https://github.com/stefan-hoeck/idris2-rio/commit/c34de47d711adf75cd5a565af00b02298cb168ef) | skipped | [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 | | [557601a](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/557601aff06ed785727ef5b52536ff32667be8a1) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rtlsdr/docs/index.html) |
| [rtlsdr](https://github.com/victoredwardocallaghan/idris2-rtlsdr) | package that provides low level bindings to rtlsdr | | [014f6c9](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/014f6c9212c26b4606b047dc4b79a48a8c2c522b) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rtlsdr/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 | [b71f745](https://git.sr.ht/~janus/scram/commit/b71f745c68cb038c86e34ecb443a75a6b9bebc1f) | skipped | [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 | [54729a5](https://git.sr.ht/~janus/sha/commit/54729a52f9462f3155a11961eaca4373691575ff) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sha/docs/index.html) |
| [snocvect](https://github.com/mattpolzin/idris-snocvect) | | MIT | [f6148c3](https://github.com/mattpolzin/idris-snocvect/commit/f6148c3d06c7a9989062a2425f925fc844468215) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/snocvect/docs/index.html) |
Expand Down
Loading

0 comments on commit 63ba03b

Please sign in to comment.