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/11002453622
  • Loading branch information
@github-actions
github-actions[bot] committed Sep 23, 2024
1 parent be58b38 commit 031862c
Show file tree
Hide file tree
Showing 2 changed files with 1,141 additions and 3 deletions.
6 changes: 3 additions & 3 deletions STATUS.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@
| [containers](https://github.com/stefan-hoeck/idris2-containers) | Basic Tree and Queue data structures | | [b99c353](https://github.com/stefan-hoeck/idris2-containers/commit/b99c3539e2c2f71dd6a4151ce8ef5de8a2f7492f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/containers/docs/index.html) |
| [contrib](https://github.com/idris-lang/Idris2) | | | [f3dca12](https://github.com/idris-lang/Idris2/commit/f3dca12a5fe87fd8c6f4efe827beb26c20d2b0d9) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/contrib/docs/index.html) |
| [coop](https://github.com/buzden/idris2-coop) | A library for simple concurrency without parallelism | Apache-2.0 | [4646130](https://github.com/buzden/idris2-coop/commit/46461308c80c6f9dc60fa3581db8c5e7282bd780) | skipped | [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 | [6595b0e](https://github.com/buzden/idris2-cozippable/commit/6595b0e359fd207ba0feef15902107e878ecce65) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cozippable/docs/index.html) |
| [cozippable](https://github.com/buzden/idris2-cozippable) | Cozippable interface and implementations | Apache-2.0 | [ceaf178](https://github.com/buzden/idris2-cozippable/commit/ceaf178d9f2aa864f9ddedc7d4d5b059d69ed9be) | 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 | | [155e90c](https://github.com/stefan-hoeck/idris2-cptr/commit/155e90ceae551e0468678874a9c9556078a088d4) | 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 | | [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) |
Expand All @@ -51,7 +51,7 @@
| [elab-util](https://github.com/stefan-hoeck/idris2-elab-util) | Utilities and documentation for working with elaborator reflection | BSD-2 Clause | [4ee05e5](https://github.com/stefan-hoeck/idris2-elab-util/commit/4ee05e54b80986f05ee5a79e16cb51d4ef6cfb65) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/elab-util/docs/index.html) |
| [epoll](https://github.com/stefan-hoeck/idris2-epoll) | epoll bindings in Idris2: polling pipes and sockets in Linux | BSD-3 Clause | [d136549](https://github.com/stefan-hoeck/idris2-epoll/commit/d136549ddf1aa1d8aa8e3c18907c11db85c88781) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/epoll/docs/index.html) |
| [filepath](https://github.com/stefan-hoeck/idris2-filepath) | Unix style file paths | BSD-3 Clause | [63dab63](https://github.com/stefan-hoeck/idris2-filepath/commit/63dab635a40fd1ee19c07cd789c9099b357d92d1) | skipped | [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 | [04a916a](https://github.com/buzden/idris2-fin-lizzie/commit/04a916ad665787a9ef509e787b7bbc36cadaa74e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fin-lizzie/docs/index.html) |
| [fin-lizzie](https://github.com/buzden/idris2-fin-lizzie) | Useful stuff for `Fin` data type | Apache-2.0 | [9c7076c](https://github.com/buzden/idris2-fin-lizzie/commit/9c7076c7cced1999c4269f6bc8eca340e8c0f6ab) | skipped | [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 | | [5d9a9de](https://github.com/stefan-hoeck/idris2-finite/commit/5d9a9de5466030f3ffc5a0c2ad4ef647bc882a30) | skipped | [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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fix-whitespace/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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/free/docs/index.html) |
Expand Down Expand Up @@ -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 | | [d35f5e7](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/d35f5e74f7c38368a2cb3d1f45fc5efe08469c4e) | 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 | | [4a873c5](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/4a873c5390ff174cd8a8e8e41ed02782dd743ba2) | 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 031862c

Please sign in to comment.