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/11151682121
  • Loading branch information
@github-actions
github-actions[bot] committed Oct 2, 2024
1 parent e17d7cb commit e021f94
Show file tree
Hide file tree
Showing 2 changed files with 1,149 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 @@ -24,8 +24,8 @@
| [bytestring](https://github.com/stefan-hoeck/idris2-bytestring) | Immutable byte vectors for Idris2 | | [5d32a5b](https://github.com/stefan-hoeck/idris2-bytestring/commit/5d32a5bce0ab0fb248d6799845112bcf703be2cb) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bytestring/docs/index.html) |
| [c-ffi](https://github.com/joelberkeley/c-ffi) | Generic C FFI utilities for Idris | Apache License, Version 2.0 | [6c54ca8](https://github.com/joelberkeley/c-ffi/commit/6c54ca867a124b3fa291b2ac3acdf54cd0f30110) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/c-ffi/docs/index.html) |
| [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) |
| [chem](https://github.com/stefan-hoeck/idris2-chem) | Pure functional cheminformatics in Idris | | [7965b0f](https://github.com/stefan-hoeck/idris2-chem/commit/7965b0f61d16fcfbb958e90ae27dfe7b83b9ef88) | 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 | | [7965b0f](https://github.com/stefan-hoeck/idris2-chem/commit/7965b0f61d16fcfbb958e90ae27dfe7b83b9ef88) | 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 | [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) |
Expand All @@ -38,7 +38,7 @@
| [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 | | [0df06cf](https://github.com/stefan-hoeck/idris2-cyby-draw/commit/0df06cfd26b94ec55314a60d07de57895c589df3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cyby-draw/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 | [606a39f](https://github.com/buzden/idris2-dependent-vect/commit/606a39f137a2905a73ef36bb2d9deba4d71f0b85) | 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 | [f376dea](https://github.com/buzden/deptycheck/commit/f376dea67c96f4f803884b610a41d38aa3271377) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/deptycheck/docs/index.html) |
| [deptycheck](https://github.com/buzden/deptycheck) | Property-based testing with dependent types | MPL-2.0 | [e702b57](https://github.com/buzden/deptycheck/commit/e702b57a0419221963e45e883067c18d620cd3b2) | skipped | [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) | skipped | [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) | skipped | [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 | | [67d0047](https://github.com/stefan-hoeck/idris2-dom/commit/67d0047557fa41a654d14b2f9d5f2f1353e07458) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dom/docs/index.html) |
Expand Down Expand Up @@ -137,7 +137,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 | [ba17bcb](https://github.com/stefan-hoeck/idris2-rio/commit/ba17bcbaecedbfe8bccd640c5769f2f85347386f) | 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 | | [9c381aa](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/9c381aac2b72549d52cfd61affad21ebb1b95519) | 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 | | [d544d45](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/d544d456ede96617aa6859d09c8b0a079b091050) | 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 e021f94

Please sign in to comment.