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/12776435199
  • Loading branch information
@github-actions
github-actions[bot] committed Jan 14, 2025
1 parent 118a5bb commit 03b2005
Show file tree
Hide file tree
Showing 2 changed files with 1,230 additions and 4 deletions.
11 changes: 7 additions & 4 deletions STATUS.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -106,8 +106,8 @@
| [node](https://github.com/kbertalan/idris2-node) | Node JS API bindings for Idris2 | | [03a7a07](https://github.com/kbertalan/idris2-node/commit/03a7a070d2063122190a580341e6c57017be5554) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/node/docs/index.html) |
| [numidr](https://github.com/kiana-S/numidr) | Linear algebra and data science library | MIT | [bd1eee1](https://github.com/kiana-S/numidr/commit/bd1eee136662ef638628bca9907ae64f1b7538f9) | skipped | [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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/okasaki-pfds/docs/index.html) |
| [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections | | [494967f](https://github.com/stefan-hoeck/idris2-pack/commit/494967faa0fdd3dd02ff13b812228753188a96ef) | skipped | [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 | | [494967f](https://github.com/stefan-hoeck/idris2-pack/commit/494967faa0fdd3dd02ff13b812228753188a96ef) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack-admin/docs/index.html) |
| [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections | | [dd32806](https://github.com/stefan-hoeck/idris2-pack/commit/dd32806f8b43696a972ffdee75fcd867d488b827) | skipped | [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 | | [dd32806](https://github.com/stefan-hoeck/idris2-pack/commit/dd32806f8b43696a972ffdee75fcd867d488b827) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack-admin/docs/index.html) |
| [papers](https://github.com/idris-lang/Idris2) | | | [812a469](https://github.com/idris-lang/Idris2/commit/812a469f27eb5193ef02547659f32c9854b4932a) | skipped | [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) | skipped | [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 | | [dd950e6](https://github.com/stefan-hoeck/idris2-parser/commit/dd950e671f06bd936e48c95d33117ee042d35134) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser/docs/index.html) |
Expand All @@ -119,7 +119,7 @@
| [pg](https://git.sr.ht/~janus/pg) | Continuation based PostgreSQL client. No IO use. Used in `web-server-racket`. | | [7856351](https://git.sr.ht/~janus/pg/commit/785635145ce6bdb67690acb66d806c9ce9e3c03e) | skipped | [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 | [3f0e40f](https://github.com/mattpolzin/pg-idris/commit/3f0e40ffa3da3a751cea9b2f0962446308f0c918) | skipped | [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. | | [c148582](https://git.sr.ht/~janus/pg-types/commit/c1485829928f18d2b652b565db9cc384da087513) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pg-types/docs/index.html) |
| [pipelines](https://gitlab.com/glaive-research/pipelines.git) | | | [da4f1cc](https://gitlab.com/glaive-research/pipelines.git/commit/da4f1cc9eb6651e24fe669308db705ae09f26bc1) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pipelines/docs/index.html) |
| [pipelines](https://gitlab.com/glaive-research/pipelines.git) | | | [6b6b9c2](https://gitlab.com/glaive-research/pipelines.git/commit/6b6b9c28ebbcf799e28d91342b483604b3bb4e36) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pipelines/docs/index.html) |
| [pjrt-plugin-xla-cpu](https://github.com/joelberkeley/spidr) | XLA PJRT plugin for CPU. | Apache License, Version 2.0 | [5d449d5](https://github.com/joelberkeley/spidr/commit/5d449d58125c4a7cc484133d5e6d11c4f3f04393) | 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 | [5d449d5](https://github.com/joelberkeley/spidr/commit/5d449d58125c4a7cc484133d5e6d11c4f3f04393) | 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 | [8da7515](https://github.com/buzden/idris2-positive-nat/commit/8da7515357bf0157c276eea52baf68ed01ad5c4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/positive-nat/docs/index.html) |
Expand Down Expand Up @@ -152,8 +152,12 @@
| [spidr](https://github.com/joelberkeley/spidr) | Hardware-accelerated machine learning with dependent types. | Apache License, Version 2.0 | [5d449d5](https://github.com/joelberkeley/spidr/commit/5d449d58125c4a7cc484133d5e6d11c4f3f04393) | skipped | [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 | [e0600f1](https://github.com/stefan-hoeck/idris2-sqlite3/commit/e0600f19921a7636964c842728f6281353827a9f) | skipped | [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 | [e0600f1](https://github.com/stefan-hoeck/idris2-sqlite3/commit/e0600f19921a7636964c842728f6281353827a9f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3-rio/docs/index.html) |
| [stellar-api](https://gitlab.com/avidela/stellar) | | | [8cd5937](https://gitlab.com/avidela/stellar/commit/8cd5937c677c6f9d003a6a75daabd5aa14b74c81) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/stellar-api/docs/index.html) |
| [stellar-http](https://gitlab.com/avidela/stellar) | | | [8cd5937](https://gitlab.com/avidela/stellar/commit/8cd5937c677c6f9d003a6a75daabd5aa14b74c81) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/stellar-http/docs/index.html) |
| [stellar-sql](https://gitlab.com/avidela/stellar) | | | [8cd5937](https://gitlab.com/avidela/stellar/commit/8cd5937c677c6f9d003a6a75daabd5aa14b74c81) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/stellar-sql/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) | skipped | [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 | [a30d7dc](https://git.sr.ht/~janus/string-search/commit/a30d7dcbd232edab23459ebbc68ca129b2574222) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/string-search/docs/index.html) |
| [structures](https://git.sr.ht/~thatonelutenist/Structures) | Collection of data structures for Idris 2 | Parity OR Prosperity | [0926c31](https://git.sr.ht/~thatonelutenist/Structures/commit/0926c31ee62a4cb717eba1cd81df59df1ab88fb8) | skipped | [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 | [90810a9](https://github.com/buzden/idris2-summary-stat/commit/90810a9efd351e81b4a0819fd17f7de7dd42ae3e) | skipped | [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) | skipped | [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 | [94b6eb1](https://github.com/buzden/idris2-swirl/commit/94b6eb18d9b68cba885090b2866091d97d7b1602) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/swirl/docs/index.html) |
Expand Down Expand Up @@ -184,7 +188,6 @@

| Package | Dependencies | Commit |
| --- | --- | --- |
| [structures](https://git.sr.ht/~thatonelutenist/Structures) | | [0926c31](https://git.sr.ht/~thatonelutenist/Structures/commit/0926c31ee62a4cb717eba1cd81df59df1ab88fb8) |


## Unresolved Packages
Expand Down
Loading

0 comments on commit 03b2005

Please sign in to comment.