| algdata |
|
|
71504e1 |
skipped |
docs |
| algebra |
Lawful algebraic structures |
BSD-3 Clause |
829f44b |
skipped |
docs |
| ansi |
ANSI terminal escape sequences |
BSD-3 Clause |
f3cac49 |
skipped |
docs |
| apache-mime-types |
Mime types db based on Apache HTTPD dataset |
|
6c6ff58 |
skipped |
docs |
| array |
Immutable and mutable (linear) size-indexed arrays |
|
3f14963 |
skipped |
docs |
| async |
Asynchronous and concurrent computations in Idris2 |
|
10ae85b |
skipped |
docs |
| barbies |
Barbies: Data types that can change their clothes |
BSD-3 |
641f15c |
skipped |
docs |
| base |
|
|
74c1123 |
skipped |
docs |
| base64 |
Base64 decoding/encoding, based on C. Provides Data.String.Base64. Used in e.g. the scram package. |
BSD-3-Clause |
886d939 |
skipped |
docs |
| best-alternative |
Utilities for types implementing Alternative interface |
Apache-2.0 |
8e24bc9 |
skipped |
docs |
| bounded-doubles |
Doubles with type-level bounds |
Apache-2.0 |
078934f |
skipped |
docs |
| bounded-doubles-hedgehog-generators |
Hedgehog generators for bounded doubles |
Apache-2.0 |
078934f |
skipped |
docs |
| buf-conn |
Buffered connection (as in TCP). Based on continuations. Let's you only read the amount of bytes you want. |
|
7fca8ab |
skipped |
docs |
| bytestring |
Immutable byte vectors for Idris2 |
|
5d32a5b |
skipped |
docs |
| c-ffi |
Generic C FFI utilities for Idris |
Apache License, Version 2.0 |
6c54ca8 |
skipped |
docs |
| cheerio |
A cheerio binding for nodejs. provide css selector and attr getter. |
|
0dacfd8 |
skipped |
docs |
| chem |
Pure functional cheminformatics in Idris |
|
56a21a3 |
skipped |
docs |
| chem-generators |
Hedgehog generators for data types in the chem library |
|
56a21a3 |
skipped |
docs |
| collection-utils |
Non-standard functions for standard Idris 2 collections |
Apache-2.0 |
3e3b908 |
skipped |
docs |
| collie |
|
|
a35498d |
skipped |
docs |
| comonad |
Comonads for Idris2 |
|
154292a |
skipped |
docs |
| cont |
Double-barreled continuations. Used in the pg, http2, web-server-racket packages. |
|
519dabe |
skipped |
docs |
| containers |
Assorted concrete container types |
|
c04344b |
skipped |
docs |
| contrib |
|
|
74c1123 |
skipped |
docs |
| coop |
A library for simple concurrency without parallelism |
Apache-2.0 |
96e845c |
skipped |
docs |
| cozippable |
Cozippable interface and implementations |
Apache-2.0 |
157960a |
skipped |
docs |
| cptr |
Fun with C-pointers |
|
c48e5e6 |
skipped |
docs |
| crypt |
FFI bindings to the crypt C-library used for passphrase hashing |
BSD-3 Clause |
15866ef |
skipped |
docs |
| cyby-draw |
A drawing tool for molecules running in the browser |
|
0df06cf |
skipped |
docs |
| dependent-map |
A port of the dependent-map package from Hackage |
BSD-3 Clause |
f2896d0 |
skipped |
docs |
| dependent-vect |
Vector data type with type of elements dependent on the index value |
Apache-2.0 |
75e7d15 |
skipped |
docs |
| deptycheck |
Property-based testing with dependent types |
MPL-2.0 |
3d9c571 |
skipped |
docs |
| dinwiddy |
|
|
61a81c5 |
skipped |
docs |
| distribution |
An FFI for statistical distributions from the GSL C library. |
The BSD 3-Clause License |
bced45a |
skipped |
docs |
| dom |
Extensive DOM and web bindings for Idris2 |
|
67d0047 |
skipped |
docs |
| dom-mvc |
Single page web applications |
|
aa13b5c |
skipped |
docs |
| dom-mvc-extra |
Additional utilities for writing web applications |
|
aa13b5c |
skipped |
docs |
| dot-gv |
Idris2 lexer and parser for the DOT language used in GraphViz files. |
BSD-3-Clause |
369fe32 |
skipped |
docs |
| dtypes |
dependent variants of common idris/haskell types and interfaces |
BSD-3 Clause |
028eb21 |
skipped |
docs |
| eff |
Extensible, stack-safe effects in Idris2 |
BSD-3 Clause |
69f02c0 |
skipped |
docs |
| effect |
|
The 3-Clause BSD License |
b76dce1 |
skipped |
docs |
| elab-pretty |
Pretty printing TTImp and friends, plus auto-deriving pretty printers |
BSD-2 Clause |
dc875d4 |
skipped |
docs |
| elab-util |
Utilities and documentation for working with elaborator reflection |
BSD-2 Clause |
dc875d4 |
skipped |
docs |
| epoll |
epoll bindings in Idris2: polling pipes and sockets in Linux |
BSD-3 Clause |
d136549 |
skipped |
docs |
| filepath |
Unix style file paths |
BSD-3 Clause |
0441eae |
skipped |
docs |
| fin-lizzie |
Useful stuff for Fin data type |
Apache-2.0 |
a3b4726 |
skipped |
docs |
| finite |
A derivable interface for types with a finite number of inhabitants |
|
5d9a9de |
skipped |
docs |
| fix-whitespace |
A small app for fixing whitespace issues in source files |
|
ec8d82a |
skipped |
docs |
| free |
An encoding of free monads and free monad transformers |
The BSD 3-Clause License |
809e145 |
skipped |
docs |
| freer |
Stack-safe freer monads for Idris2 |
BSD-3 Clause |
180e206 |
skipped |
docs |
| fvect |
|
MIT |
0a6e9c8 |
skipped |
docs |
| game-2048 |
|
|
0dacfd8 |
skipped |
docs |
| getopts |
Processing command line options |
BSD-3 Clause |
0d41b98 |
skipped |
docs |
| golden-runner-helper |
An easy way to create pack-friendly runners of golden tests |
Apache-2.0 |
7178ee8 |
skipped |
docs |
| graph |
Sparse, simple functional graphs in Idris2 |
BSD-3 Clause |
e3fea89 |
skipped |
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 |
skipped |
docs |
| hashable |
|
|
5615bd4 |
skipped |
docs |
| hashmap |
|
|
5c3e42c |
skipped |
docs |
| hedgehog |
A property based testing library with integrated shrinking |
|
3dd9beb |
skipped |
docs |
| hmac |
Hashed Message Authentication Code (HMAC). Provides Data.Cryptography.HMAC. Used in e.g. the scram package. |
BSD-3 Clause |
5c754a9 |
skipped |
docs |
| http |
A http client implementation in idris2 |
ISC (refer to LICENSE file) |
0ff06cf |
skipped |
docs |
| http2 |
Continuation based HTTP2 server. No IO. Used in web-server-racket. |
BSD-3 Clause |
fea2612 |
skipped |
docs |
| i-hate-parens |
Syntax for those who hate parenthesis |
Apache-2.0 |
6127b46 |
skipped |
docs |
| idrall |
Dhall compiler for Idris2 |
|
86d84e4 |
skipped |
docs |
| idris2 |
|
|
74c1123 |
skipped |
docs |
| idris2-go |
Idris2 with Go backend |
|
070087e |
skipped |
docs |
| idris2-go-lib |
Library for generating Go source code |
|
070087e |
skipped |
docs |
| idris2-lsp |
|
|
df322fa |
skipped |
docs |
| idrisGL |
|
GPL-3.0 License |
44da085 |
skipped |
docs |
| if-unsolved-implicit |
An interface helping to set a value to an implicit when it is unsolved |
Apache-2.0 |
a56deec |
skipped |
docs |
| indexed |
|
|
c99707f |
skipped |
docs |
| indexed-graph |
Array-backed, order indexed, sparse, simple graphs in Idris2 |
BSD-3 Clause |
e37f0d2 |
skipped |
docs |
| js |
Utilities for working with the JavaScript backends |
|
67d0047 |
skipped |
docs |
| json |
Derivable JSON marshallers for Idris2 |
|
6fc9c0d |
skipped |
docs |
| json-simple |
Simplified derivable JSON marshallers for simple people like me |
|
6fc9c0d |
skipped |
docs |
| just-a-monad |
|
|
4a69d28 |
skipped |
docs |
| katla |
|
|
53b0e47 |
skipped |
docs |
| katla-pandoc |
|
|
53b0e47 |
skipped |
docs |
| lana |
Bi-directional and extensible JSON schemas using tagless final. Including serialization/deserialization. |
MIT |
63964db |
skipped |
docs |
| lens |
Batteries-included profunctor optics |
MIT |
da8f3a0 |
skipped |
docs |
| linear |
|
|
74c1123 |
skipped |
docs |
| linux |
System utilities for using Idris2 on GNU/Linux |
|
7bc4d50 |
skipped |
docs |
| log-domain |
A small representation of numerical computations in the log domain. |
The BSD 3-Clause License |
7eb33c3 |
skipped |
docs |
| lsp-lib |
|
|
8ff3a88 |
skipped |
docs |
| markdown |
A markdown parser for idris2 |
MIT |
3833426 |
skipped |
docs |
| matrix |
Matrix operation library. |
|
0dacfd8 |
skipped |
docs |
| monad-bayes |
A probabilistic language with emphasis on compositional inference, based on the original Haskell library |
The BSD 3-Clause License |
6b8d301 |
skipped |
docs |
| monocle |
A simple library of derivable optics |
|
7d93ec5 |
skipped |
docs |
| mtl-tuple-impls |
Tuple instances for the standard MTL interfaces |
Apache-2.0 |
f25d3f8 |
skipped |
docs |
| multiplate |
Generic traversals for mutually recursive data types |
MIT |
601d865 |
skipped |
docs |
| ncurses-idris |
NCurses support for Idris 2 apps compiled with the Chez Scheme backend. |
MIT |
9f1e575 |
skipped |
docs |
| nested |
nested (or non-uniform) recursion schemes |
AGPLv3 |
6752469 |
skipped |
docs |
| network |
|
|
74c1123 |
skipped |
docs |
| node |
Node JS API bindings for Idris2 |
|
03a7a07 |
skipped |
docs |
| numidr |
Linear algebra and data science library |
MIT |
bd1eee1 |
skipped |
docs |
| okasaki-pfds |
Purely Functional Data Structures ala Okasaki |
|
a8dd0b8 |
skipped |
docs |
| pack |
A package manager for Idris2 with curated package collections |
|
3fd992d |
skipped |
docs |
| pack-admin |
Administration of pack's package collections |
|
3fd992d |
skipped |
docs |
| papers |
|
|
74c1123 |
skipped |
docs |
| park_bench |
|
|
c9a212e |
skipped |
docs |
| parser |
Types and utilities for writing total parsers and lexers |
|
dd950e6 |
skipped |
docs |
| parser-json |
Total and efficient parser and lexer for the JSON file format |
|
dd950e6 |
skipped |
docs |
| parser-show |
Parsing and pretty-printing regular Show output |
|
dd950e6 |
skipped |
docs |
| parser-toml |
Total and efficient parser and lexer for the TOML config file language |
|
dd950e6 |
skipped |
docs |
| parser-tsv |
Efficient parser and marshallers for tab-separated values |
|
dd950e6 |
skipped |
docs |
| parser-webidl |
A total parser and lexer for the WebIDL interface description language |
|
dd950e6 |
skipped |
docs |
| pg |
Continuation based PostgreSQL client. No IO use. Used in web-server-racket. |
|
7856351 |
skipped |
docs |
| pg-idris |
Postgres support for Idris 2 programs compiled with the Chez Scheme or NodeJS backends. |
MIT |
3f0e40f |
skipped |
docs |
| pg-types |
Data types for PostgreSQL clients. Also miscellaneous Bits32 to/from big-endian coding. Used in the pg and http2 packages. |
|
c148582 |
skipped |
docs |
| pjrt-plugin-xla-cpu |
XLA PJRT plugin for CPU. |
Apache License, Version 2.0 |
fb808c1 |
skipped |
docs |
| pjrt-plugin-xla-cuda |
XLA PJRT plugin for CUDA-enabled GPUs. |
Apache License, Version 2.0 |
fb808c1 |
skipped |
docs |
| positive-nat |
Strictly positive natural number data type |
Apache-2.0 |
8da7515 |
skipped |
docs |
| posix |
POSIX compliant system calls |
|
7bc4d50 |
skipped |
docs |
| prelude |
|
|
74c1123 |
skipped |
docs |
| prettier |
|
|
572ba6e |
skipped |
docs |
| prettier-ansi |
Colored terminal output for the Bernardy-style pretty printer |
BSD-3 Clause |
f3cac49 |
skipped |
docs |
| pretty-show |
Pretty printing of values with a Show instance |
|
a739e83 |
skipped |
docs |
| prim |
Laws and utilities for working with primitives in Idris2 |
BSD-3 Clause |
a875bbe |
skipped |
docs |
| profiler |
A simple profiling utility for Idris 2 |
BSD-3 Clause |
2f7982c |
skipped |
docs |
| profunctors |
Profunctors for Idris2 |
MIT |
e862ef8 |
skipped |
docs |
| promise |
Promise for Idris2 |
|
0b17165 |
skipped |
docs |
| quantifiers-extra |
Some additions to Data.List.Quantifires |
BSD-3 Clause |
93c2950 |
skipped |
docs |
| qutescript |
Writing userscripts for qutebrowser in Idris2 |
|
0c52c5e |
skipped |
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 |
skipped |
docs |
| random-pure |
Pure pseudo-random interface and splitmix implementation |
Apache-2.0 |
e5aad14 |
skipped |
docs |
| ratio |
Arbitrary-precision ratio types |
MIT |
1bdfde8 |
skipped |
docs |
| ref1 |
Linear mutable references and utilities |
|
276a2ff |
skipped |
docs |
| refined |
Refinement types in Idris2 |
BSD-3 |
c585013 |
skipped |
docs |
| refined-json |
Deriving JSON marshallers for refinement types |
BSD-3 |
c585013 |
skipped |
docs |
| refined-tsv |
Deriving TSV marshallers for refinement types |
BSD-3 |
c585013 |
skipped |
docs |
| rhone |
Arrowized functional reactive programming in Idris2 |
|
e652d56 |
skipped |
docs |
| rhone-js |
Reactive single page web applications in Idris2 |
|
543fa51 |
skipped |
docs |
| rio |
A simple effect system based on the RIO monad |
BSD-3 Clause |
ba17bcb |
skipped |
docs |
| rtlsdr |
package that provides low level bindings to rtlsdr |
|
5ee5a09 |
skipped |
docs |
| scram |
Salted Challenge Response Authentication Mechanism (SCRAM), based on hash, hmac, sha, base64 packages. Provides Data.Cryptography.SCRAM. |
BSD-3 Clause |
b71f745 |
skipped |
docs |
| sha |
SHA (Secure Hashing Algorithm) implementations in C, copied from cryptohash-sha1, cryptohash-sha256. Provides Data.Cryptography.Hash.SHA. |
BSD-3 Clause |
54729a5 |
skipped |
docs |
| snocvect |
|
MIT |
3de29a7 |
skipped |
docs |
| sop |
Generic representation of data types as sums of products |
BSD-2 Clause |
050dc40 |
skipped |
docs |
| spidr |
Hardware-accelerated machine learning with dependent types. |
Apache License, Version 2.0 |
fb808c1 |
skipped |
docs |
| sqlite3 |
Idris2 bindings to the sqlite3 API |
BSD-3 Clause |
e0600f1 |
skipped |
docs |
| sqlite3-rio |
RIO wrappers for the sqlite3 library |
BSD-3 Clause |
e0600f1 |
skipped |
docs |
| string-builder |
Efficient string builders |
|
6dfb5e0 |
skipped |
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 |
skipped |
docs |
| structures |
Collection of data structures for Idris 2 |
Parity OR Prosperity |
80a48e3 |
skipped |
docs |
| summary-stat |
Facilities for summary statistics |
Apache-2.0 |
90810a9 |
skipped |
docs |
| svg |
Vector graphics in Idris2 |
|
dc4784f |
skipped |
docs |
| swirl |
Swirls, streams of monadic actions |
Apache-2.0 |
94b6eb1 |
skipped |
docs |
| tailrec |
Provably total, stack-safe monadic recursion in Idris2 |
BSD-3 Clause |
2734dfd |
skipped |
docs |
| test |
|
|
74c1123 |
skipped |
docs |
| tester |
|
|
3dcdb54 |
skipped |
docs |
| time-for-sleep |
Some time type + interfaces for getting time and sleeping |
Apache-2.0 |
8e50060 |
skipped |
docs |
| timeit |
Plain simple timing of actions for HasIO |
CC0 (refer to LICENSE file) |
9566f71 |
skipped |
docs |
| tls |
A portable idris2 implementation of TLS |
ISC (refer to LICENSE file) |
29e9ccb |
skipped |
docs |
| toml |
|
|
7e5c4f3 |
skipped |
docs |
| typelevel-emptiness-collections |
Collections with type-level control of emptiness, e.g. generalisation of List and List1 |
Apache-2.0 |
4aa98e6 |
skipped |
docs |
| tyre |
A typed regex parser |
|
5ad08fe |
skipped |
docs |
| tyttp |
An experimental web server framework targeting NodeJS |
|
f159dfa |
skipped |
docs |
| tyttp-adapter-node |
An experimental web server framework targeting NodeJS |
|
f159dfa |
skipped |
docs |
| tyttp-json |
JSON payload consumer and producer for TyTTP web framework |
|
f159dfa |
skipped |
docs |
| uniplate |
|
MIT and BSD-3 |
caac354 |
skipped |
docs |
| url |
A url library for idris2 |
MIT |
4587b14 |
skipped |
docs |
| utf8 |
UTF-8 encoding and decoding for Racket/Chez (contributions welcome) |
BSD-3 Clause |
c52080f |
skipped |
docs |
| uv |
Idris2 bindings to libuv |
|
b3b16c1 |
skipped |
docs |
| uv-data |
Generated constants fir idris2-uv |
|
b3b16c1 |
skipped |
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 |
skipped |
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 |
skipped |
docs |
| webidl |
|
|
388f7e7 |
skipped |
docs |
| xml |
|
|
bfb02ff |
skipped |
docs |