| Compiler | Version | Commit |
|---|---|---|
| Idris2 | 0.7.0 | c5f31c9 |
| Package | Description | License | Commit | Tests | API Docs |
|---|---|---|---|---|---|
| algdata | 71504e1 | docs | |||
| algebra | Lawful algebraic structures | BSD-3 Clause | 829f44b | success | docs |
| ansi | ANSI terminal escape sequences | BSD-3 Clause | f3cac49 | docs | |
| apache-mime-types | Mime types db based on Apache HTTPD dataset | 6c6ff58 | docs | ||
| array | Immutable and mutable (linear) size-indexed arrays | 43a7661 | success | docs | |
| async | Asynchronous and concurrent computations in Idris2 | e43cc7b | docs | ||
| barbies | Barbies: Data types that can change their clothes | BSD-3 | 641f15c | docs | |
| base | c5f31c9 | docs | |||
| base64 | Base64 decoding/encoding, based on C. Provides Data.String.Base64. Used in e.g. the scram package. |
BSD-3-Clause | 886d939 | success | docs |
| best-alternative | Utilities for types implementing Alternative interface |
Apache-2.0 | 923d820 | success | docs |
| bounded-doubles | Doubles with type-level bounds | Apache-2.0 | 42be301 | success | docs |
| bounded-doubles-hedgehog-generators | Hedgehog generators for bounded doubles | Apache-2.0 | 42be301 | success | docs |
| buf-conn | Buffered connection (as in TCP). Based on continuations. Let’s you only read the amount of bytes you want. | 7fca8ab | docs | ||
| bytestring | Immutable byte vectors for Idris2 | 5d32a5b | docs | ||
| c-ffi | Generic C FFI utilities for Idris | Apache License, Version 2.0 | 6c54ca8 | success | docs |
| cheerio | A cheerio binding for nodejs. provide css selector and attr getter. | 0dacfd8 | docs | ||
| chem | Pure functional cheminformatics in Idris | ab06f53 | success | docs | |
| chem-generators | Hedgehog generators for data types in the chem library | ab06f53 | docs | ||
| collection-utils | Non-standard functions for standard Idris 2 collections | Apache-2.0 | ff239e6 | failure | docs |
| collie | a35498d | docs | |||
| comonad | Comonads for Idris2 | 154292a | docs | ||
| cont | Double-barreled continuations. Used in the pg, http2, web-server-racket packages. | 519dabe | docs | ||
| containers | Basic Tree and Queue data structures | b99c353 | docs | ||
| contrib | c5f31c9 | docs | |||
| coop | A library for simple concurrency without parallelism | Apache-2.0 | 4646130 | success | docs |
| cozippable | Cozippable interface and implementations | Apache-2.0 | 6595b0e | failure | docs |
| cptr | Fun with C-pointers | 6c0416b | success | docs | |
| crypt | FFI bindings to the crypt C-library used for passphrase hashing | BSD-3 Clause | 15866ef | success | docs |
| cyby-draw | A drawing tool for molecules running in the browser | 0df06cf | docs | ||
| dependent-vect | Vector data type with type of elements dependent on the index value | Apache-2.0 | 606a39f | success | docs |
| deptycheck | Property-based testing with dependent types | MPL-2.0 | d050157 | success | docs |
| dinwiddy | 61a81c5 | docs | |||
| distribution | An FFI for statistical distributions from the GSL C library. | The BSD 3-Clause License | bced45a | docs | |
| dom | Extensive DOM and web bindings for Idris2 | 67d0047 | docs | ||
| dom-mvc | Single page web applications | edc345e | docs | ||
| dom-mvc-extra | Additional utilities for writing web applications | edc345e | docs | ||
| dot-gv | Idris2 lexer and parser for the DOT language used in GraphViz files. | BSD-3-Clause | 369fe32 | docs | |
| eff | Extensible, stack-safe effects in Idris2 | BSD-3 Clause | 69f02c0 | docs | |
| effect | The 3-Clause BSD License | b76dce1 | docs | ||
| elab-pretty | Pretty printing TTImp and friends, plus auto-deriving pretty printers | BSD-2 Clause | 4ee05e5 | docs | |
| elab-util | Utilities and documentation for working with elaborator reflection | BSD-2 Clause | 4ee05e5 | docs | |
| epoll | epoll bindings in Idris2: polling pipes and sockets in Linux | BSD-3 Clause | d136549 | failure | docs |
| filepath | Unix style file paths | BSD-3 Clause | 63dab63 | success | docs |
| fin-lizzie | Useful stuff for Fin data type |
Apache-2.0 | 04a916a | success | docs |
| finite | A derivable interface for types with a finite number of inhabitants | 5d9a9de | success | docs | |
| fix-whitespace | A small app for fixing whitespace issues in source files | ec8d82a | docs | ||
| free | An encoding of free monads and free monad transformers | The BSD 3-Clause License | 809e145 | docs | |
| freer | Stack-safe freer monads for Idris2 | BSD-3 Clause | 180e206 | docs | |
| fvect | MIT | 0a6e9c8 | docs | ||
| game-2048 | 0dacfd8 | docs | |||
| getopts | Processing command line options | BSD-3 Clause | 0d41b98 | docs | |
| golden-runner-helper | An easy way to create pack-friendly runners of golden tests |
Apache-2.0 | 3a43754 | success | docs |
| graph | Sparse, simple functional graphs in Idris2 | BSD-3 Clause | e3fea89 | success | docs |
| hash | Abstract record data type for cryptographic hashing algorithms using e.g. Merkle-Damgård or sponge constructions. Provides Data.Cryptography.Hash. See sha for implementations. |
BSD-3 Clause | 8e2ea1b | docs | |
| hashable | 5615bd4 | docs | |||
| hashmap | 5c3e42c | docs | |||
| hedgehog | A property based testing library with integrated shrinking | e1224cf | success | docs | |
| hmac | Hashed Message Authentication Code (HMAC). Provides Data.Cryptography.HMAC. Used in e.g. the scram package. |
BSD-3 Clause | 5c754a9 | success | docs |
| http2 | Continuation based HTTP2 server. No IO. Used in web-server-racket. |
BSD-3 Clause | fea2612 | docs | |
| i-hate-parens | Syntax for those who hate parenthesis | Apache-2.0 | b43307c | success | docs |
| idrall | Dhall compiler for Idris2 | 6deee64 | docs | ||
| idris2 | c5f31c9 | docs | |||
| idris2-go | Idris2 with Go backend | 070087e | docs | ||
| idris2-go-lib | Library for generating Go source code | 070087e | success | docs | |
| idris2-lsp | 3779670 | docs | |||
| idrisGL | GPL-3.0 License | 44da085 | docs | ||
| if-unsolved-implicit | An interface helping to set a value to an implicit when it is unsolved | Apache-2.0 | 4e5f871 | success | docs |
| indexed | d3fe9a1 | docs | |||
| indexed-graph | Array-backed, order indexed, sparse, simple graphs in Idris2 | BSD-3 Clause | 7ccad45 | docs | |
| js | Utilities for working with the JavaScript backends | 67d0047 | docs | ||
| json | Derivable JSON marshallers for Idris2 | 6fc9c0d | success | docs | |
| json-simple | Simplified derivable JSON marshallers for simple people like me | 6fc9c0d | success | docs | |
| just-a-monad | 4a69d28 | docs | |||
| katla | 13a4d14 | docs | |||
| lana | Bi-directional and extensible JSON schemas using tagless final. Including serialization/deserialization. | MIT | 63964db | docs | |
| lens | Batteries-included profunctor optics | MIT | da8f3a0 | docs | |
| linear | c5f31c9 | docs | |||
| linux | System utilities for using Idris2 on GNU/Linux | fe44b55 | failure | docs | |
| log-domain | A small representation of numerical computations in the log domain. | The BSD 3-Clause License | 7eb33c3 | docs | |
| lsp-lib | b54136b | docs | |||
| markdown | A markdown parser for idris2 | MIT | 3833426 | docs | |
| matrix | Matrix operation library. | 0dacfd8 | docs | ||
| monad-bayes | A probabilistic language with emphasis on compositional inference, based on the original Haskell library | The BSD 3-Clause License | 6b8d301 | docs | |
| monocle | A simple library of derivable optics | 7d93ec5 | docs | ||
| mtl-tuple-impls | Tuple instances for the standard MTL interfaces | Apache-2.0 | 1181009 | success | docs |
| multiplate | Generic traversals for mutually recursive data types | MIT | 601d865 | success | docs |
| ncurses-idris | NCurses support for Idris 2 apps compiled with the Chez Scheme backend. | MIT | e4faae7 | docs | |
| network | c5f31c9 | docs | |||
| node | Node JS API bindings for Idris2 | baf9f01 | docs | ||
| numidr | Linear algebra and data science library | MIT | bd1eee1 | docs | |
| pack | A package manager for Idris2 with curated package collections | f01dff5 | docs | ||
| pack-admin | Administration of pack’s package collections | f01dff5 | docs | ||
| papers | c5f31c9 | docs | |||
| park_bench | c9a212e | docs | |||
| parser | Types and utilities for writing total parsers and lexers | dd950e6 | success | docs | |
| parser-json | Total and efficient parser and lexer for the JSON file format | dd950e6 | success | docs | |
| parser-show | Parsing and pretty-printing regular Show output | dd950e6 | success | docs | |
| parser-toml | Total and efficient parser and lexer for the TOML config file language | dd950e6 | success | docs | |
| parser-tsv | Efficient parser and marshallers for tab-separated values | dd950e6 | success | docs | |
| parser-webidl | A total parser and lexer for the WebIDL interface description language | dd950e6 | success | docs | |
| pg | Continuation based PostgreSQL client. No IO use. Used in web-server-racket. |
7856351 | docs | ||
| pg-idris | Postgres support for Idris 2 programs compiled with the Chez Scheme or NodeJS backends. | MIT | 75b9310 | docs | |
| pg-types | Data types for PostgreSQL clients. Also miscellaneous Bits32 to/from big-endian coding. Used in the pg and http2 packages. | c148582 | docs | ||
| pjrt-plugin-xla-cpu | XLA PJRT plugin for CPU. | Apache License, Version 2.0 | d761892 | docs | |
| pjrt-plugin-xla-cuda | XLA PJRT plugin for CUDA-enabled GPUs. | Apache License, Version 2.0 | d761892 | docs | |
| positive-nat | Strictly positive natural number data type | Apache-2.0 | b9751d9 | success | docs |
| prelude | c5f31c9 | docs | |||
| prettier | 572ba6e | docs | |||
| prettier-ansi | Colored terminal output for the Bernardy-style pretty printer | BSD-3 Clause | f3cac49 | docs | |
| pretty-show | Pretty printing of values with a Show instance | b8b0c2e | success | docs | |
| prim | Laws and utilities for working with primitives in Idris2 | BSD-3 Clause | a875bbe | success | docs |
| profiler | A simple profiling utility for Idris 2 | BSD-3 Clause | 4a9d1ba | docs | |
| profunctors | Profunctors for Idris2 | MIT | e862ef8 | docs | |
| promise | Promise for Idris2 | 0b17165 | docs | ||
| quantifiers-extra | Some additions to Data.List.Quantifires |
BSD-3 Clause | 93c2950 | docs | |
| qutescript | Writing userscripts for qutebrowser in Idris2 | 0c52c5e | docs | ||
| racket-tcp | Thin bindings to the racket/tcp library. Supports concurrency using the Racket custodian. Also supports OpenSSL for TLS. | BSD-3 Clause | 1fb1358 | docs | |
| random-pure | Pure pseudo-random interface and splitmix implementation | Apache-2.0 | 8283aad | success | docs |
| ratio | Arbitrary-precision ratio types | MIT | 1bdfde8 | docs | |
| ref1 | Linear mutable references and utilities | 2bea7f1 | docs | ||
| refined | Refinement types in Idris2 | BSD-3 | c585013 | docs | |
| refined-json | Deriving JSON marshallers for refinement types | BSD-3 | c585013 | failure | docs |
| refined-tsv | Deriving TSV marshallers for refinement types | BSD-3 | c585013 | failure | docs |
| rhone | Arrowized functional reactive programming in Idris2 | e652d56 | success | docs | |
| rhone-js | Reactive single page web applications in Idris2 | 543fa51 | docs | ||
| rio | A simple effect system based on the RIO monad | BSD-3 Clause | c34de47 | failure | docs |
| scram | Salted Challenge Response Authentication Mechanism (SCRAM), based on hash, hmac, sha, base64 packages. Provides Data.Cryptography.SCRAM. |
BSD-3 Clause | b71f745 | success | docs |
| sha | SHA (Secure Hashing Algorithm) implementations in C, copied from cryptohash-sha1, cryptohash-sha256. Provides Data.Cryptography.Hash.SHA. |
BSD-3 Clause | 54729a5 | success | docs |
| snocvect | MIT | f6148c3 | docs | ||
| sop | Generic representation of data types as sums of products | BSD-2 Clause | 050dc40 | docs | |
| spidr | Hardware-accelerated machine learning with dependent types. | Apache License, Version 2.0 | d761892 | docs | |
| sqlite3 | Idris2 bindings to the sqlite3 API | BSD-3 Clause | 55b975a | docs | |
| sqlite3-rio | RIO wrappers for the sqlite3 library | BSD-3 Clause | 55b975a | docs | |
| string-builder | Efficient string builders | 6dfb5e0 | success | docs | |
| 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 | success | docs |
| summary-stat | Facilities for summary statistics | Apache-2.0 | ca8f648 | failure | docs |
| svg | Vector graphics in Idris2 | dc4784f | docs | ||
| swirl | Swirls, streams of monadic actions | Apache-2.0 | c762060 | failure | docs |
| tailrec | Provably total, stack-safe monadic recursion in Idris2 | BSD-3 Clause | 2734dfd | docs | |
| test | c5f31c9 | docs | |||
| tester | 3dcdb54 | docs | |||
| time-for-sleep | Some time type + interfaces for getting time and sleeping | Apache-2.0 | 14efd41 | success | docs |
| timeit | Plain simple timing of actions for HasIO | CC0 (refer to LICENSE file) | 9566f71 | docs | |
| toml | 7e5c4f3 | docs | |||
| typelevel-emptiness-collections | Collections with type-level control of emptiness, e.g. generalisation of List and List1 | Apache-2.0 | f791ef1 | success | docs |
| tyre | A typed regex parser | 5ad08fe | docs | ||
| tyttp | An experimental web server framework targeting NodeJS | f159dfa | success | docs | |
| tyttp-adapter-node | An experimental web server framework targeting NodeJS | f159dfa | success | docs | |
| tyttp-json | JSON payload consumer and producer for TyTTP web framework | f159dfa | success | docs | |
| uniplate | MIT and BSD-3 | caac354 | docs | ||
| url | A url library for idris2 | MIT | 4587b14 | docs | |
| utf8 | UTF-8 encoding and decoding for Racket/Chez (contributions welcome) | BSD-3 Clause | c52080f | success | docs |
| uv | Idris2 bindings to libuv | b3b16c1 | docs | ||
| uv-data | Generated constants fir idris2-uv | b3b16c1 | docs | ||
| web-server-racket | HTTP2 server with PostgreSQL access. See usage example in web-server-racket-hello-world. Only supports Racket due to reliance on the racket-tcp library. |
BSD-3 Clause | 9538422 | docs | |
| web-server-racket-hello-world | Example demo web server that computes 1+1 on a PostgreSQL server and returns the result over HTTP2. Racket only. | BSD-3 Clause | c46aeae | docs | |
| webidl | 388f7e7 | docs | |||
| xml | bfb02ff | docs |
| Package | Dependencies | Commit | | — | — | — |
| Package | Error | | — | — |