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 Aug 30, 2023
1 parent fbdbfcc commit 8d0de69
Show file tree
Hide file tree
Showing 2 changed files with 790 additions and 2 deletions.
4 changes: 2 additions & 2 deletions STATUS.md
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,8 @@
| [idrall](https://github.com/alexhumphreys/idrall) | Dhall compiler for Idris2 | | [62a4558](https://github.com/alexhumphreys/idrall/commit/62a455894b1db5134c8b56d31aadb31d483a4b2c) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idrall/index.html) |
| [idris2](https://github.com/idris-lang/Idris2) | | | [a4ccb27](https://github.com/idris-lang/Idris2/commit/a4ccb27c83807f42cf6edd83875ea73218e91ab5) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2/index.html) |
| [idris2-go](https://github.com/kbertalan/idris2-go) | Idris2 with Go backend | | [657fa76](https://github.com/kbertalan/idris2-go/commit/657fa76b41f2a5990138b9202dc3c7d07e8c0bc8) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go/index.html) |
| [idris2-go-lib](https://github.com/kbertalan/idris2-go) | Library for generating Go source code | | [657fa76](https://github.com/kbertalan/idris2-go/commit/657fa76b41f2a5990138b9202dc3c7d07e8c0bc8) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go-lib/index.html) |
| [idris2-go-lib](https://github.com/kbertalan/idris2-go) | Library for generating Go source code | | [657fa76](https://github.com/kbertalan/idris2-go/commit/657fa76b41f2a5990138b9202dc3c7d07e8c0bc8) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go-lib/index.html) |
| [idris2-lsp](https://github.com/idris-community/idris2-lsp) | | | [7fa662a](https://github.com/idris-community/idris2-lsp/commit/7fa662a2ae416898152d7423a92cb1584a476304) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-lsp/index.html) |
| [idrisGL](https://github.com/ECburx/Idris2GL) | | GPL-3.0 License | [3ed89f3](https://github.com/ECburx/Idris2GL/commit/3ed89f3116569260d766d14908cba9debbcea9ff) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idrisGL/index.html) |
| [if-unsolved-implicit](https://github.com/buzden/idris2-if-unsolved-implicit) | An interface helping to set a value to an implicit when it is unsolved | Apache-2.0 | [ca68ca7](https://github.com/buzden/idris2-if-unsolved-implicit/commit/ca68ca72da60f538beb315c424091f4708a114c5) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/if-unsolved-implicit/index.html) |
| [indexed](https://github.com/mattpolzin/idris-indexed) | | | [6a10e41](https://github.com/mattpolzin/idris-indexed/commit/6a10e418ef2dcdef66f8de7ee9e29edd1aa7c179) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/indexed/index.html) |
Expand All @@ -63,7 +64,6 @@
| [lens](https://github.com/kiana-S/idris2-lens) | Batteries-included profunctor optics | MIT | [e1da487](https://github.com/kiana-S/idris2-lens/commit/e1da48721e42e0f7cf1c425102a6542b702ec2bc) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lens/index.html) |
| [linear](https://github.com/idris-lang/Idris2) | | | [a4ccb27](https://github.com/idris-lang/Idris2/commit/a4ccb27c83807f42cf6edd83875ea73218e91ab5) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/linear/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) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/log-domain/index.html) |
| [lsp](https://github.com/idris-community/idris2-lsp) | | | [15ebd8d](https://github.com/idris-community/idris2-lsp/commit/15ebd8d0face78afd08d20cd95444ef22966215d) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lsp/index.html) |
| [lsp-lib](https://github.com/idris-community/lsp-lib) | | | [fa2b656](https://github.com/idris-community/lsp-lib/commit/fa2b6569a0b310aebc91b1e8a32956bcb78629bc) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lsp-lib/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) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/markdown/index.html) |
| [matrix](https://github.com/running-grass/idris2-playground) | Matrix operation library. | | [0dacfd8](https://github.com/running-grass/idris2-playground/commit/0dacfd81b49749d68a5fd905e95c860fdab072ab) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/matrix/index.html) |
Expand Down
Loading

0 comments on commit 8d0de69

Please sign in to comment.