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 Jul 4, 2023
1 parent 8d6379b commit 8e800e8
Show file tree
Hide file tree
Showing 2 changed files with 761 additions and 1 deletion.
3 changes: 2 additions & 1 deletion STATUS.md
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
| [algebra](https://github.com/stefan-hoeck/idris2-algebra) | Lawful algebraic structures | BSD-3 Clause | [1172ed5](https://github.com/stefan-hoeck/idris2-algebra/commit/1172ed5b4848c5e18f7bf5f9bb467bc3e1f6b7e9) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/algebra/index.html) |
| [ansi](https://github.com/idris-community/idris2-ansi) | ANSI terminal escape sequences | BSD-3 Clause | [f3cac49](https://github.com/idris-community/idris2-ansi/commit/f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/ansi/index.html) |
| [apache-mime-types](https://github.com/kbertalan/idris2-apache-mime-types) | Mime types db based on Apache HTTPD dataset | | [973de0e](https://github.com/kbertalan/idris2-apache-mime-types/commit/973de0e7224a25606eca25a1caf853b83925d36d) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/apache-mime-types/index.html) |
| [array](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable (linear) size-indexed arrays | | [cb38079](https://github.com/stefan-hoeck/idris2-array/commit/cb38079e0cfbe618ab70a01977aad5f0cadb69ab) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/array/index.html) |
| [array](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable (linear) size-indexed arrays | | [069fcea](https://github.com/stefan-hoeck/idris2-array/commit/069fceaa59d24d57811a79da286d9d3fb72e061c) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/array/index.html) |
| [barbies](https://github.com/stefan-hoeck/idris2-barbies) | Barbies: Data types that can change their clothes | BSD-3 | [2a0c063](https://github.com/stefan-hoeck/idris2-barbies/commit/2a0c0634db86fc9db9f7729127d4de9228cf4bdc) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/barbies/index.html) |
| [base](https://github.com/idris-lang/Idris2) | | | [ecf4765](https://github.com/idris-lang/Idris2/commit/ecf4765c4beab2656d57ba4982f42427a40bc016) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/base/index.html) |
| [bounded-doubles](https://github.com/buzden/idris2-bounded-doubles) | Doubles with type-level bounds | Apache-2.0 | [54162ac](https://github.com/buzden/idris2-bounded-doubles/commit/54162ac158fc2ddf89f70b7069c2930f503530a2) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/bounded-doubles/index.html) |
Expand Down Expand Up @@ -52,6 +52,7 @@
| [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) |
| [indexed-graph](https://github.com/stefan-hoeck/idris2-indexed-graph) | Array-backed, order indexed, sparse, simple graphs in Idris2 | BSD-3 Clause | [08734d3](https://github.com/stefan-hoeck/idris2-indexed-graph/commit/08734d32abcdfc47e17528f5db4fb98127485607) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/indexed-graph/index.html) |
| [js](https://github.com/stefan-hoeck/idris2-dom) | Utilities for working with the JavaScript backends | | [9b68ee4](https://github.com/stefan-hoeck/idris2-dom/commit/9b68ee497679cd1a7f085f22901506a62f33f13f) | | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/js/index.html) |
| [json](https://github.com/stefan-hoeck/idris2-json) | Derivable JSON marshallers for Idris2 | | [8b6e86c](https://github.com/stefan-hoeck/idris2-json/commit/8b6e86c49bc9e4f1663c02fb2a7cceee0a1efff0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/json/index.html) |
| [json-simple](https://github.com/stefan-hoeck/idris2-json) | Simplified derivable JSON marshallers for simple people like me | | [8b6e86c](https://github.com/stefan-hoeck/idris2-json/commit/8b6e86c49bc9e4f1663c02fb2a7cceee0a1efff0) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/json-simple/index.html) |
Expand Down
Loading

0 comments on commit 8e800e8

Please sign in to comment.