|29 days ago||21 days ago|
|Mozilla Public License 2.0||Apache License 2.0|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Where can I look for help?
1 project | reddit.com/r/agda | 2 Jan 2022
Agda is written in Haskell, and the quoted error message is a common problem with applications written in Haskell. You probably have an environment variable like LC_CTYPE or LC_ALL which is set to an unusual value. I'd try setting LANG, LC_CTYPE and LC_ALL to en_US.utf8.
Using VS Code with Haskell
2 projects | reddit.com/r/haskellquestions | 15 Feb 2021
without this I get a build error (see here
Text Maintainers: text-utf8 migration discussion - Haskell Foundation
4 projects | reddit.com/r/haskell | 15 Apr 2021
There are several native Haskell libraries, covering individual features of text-icu: https://hackage.haskell.org/package/unicode-transforms for normalization https://github.com/jgm/unicode-collation for collation https://github.com/composewell/unicode-data for character database https://hackage.haskell.org/package/unicode-general-category for character database
What are some alternatives?
haskell-language-server - Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
text - Haskell library for space- and time-efficient operations over Unicode text.
safeio - Haskell Library for safe (atomic) IO
text-short - Memory-efficient representation of Unicode text strings
binary-io - Read and write values of types that implement Binary from and to Handles
machination - Plot charts as unicode strings in the console.
aeson - A fast Haskell JSON library
unicode-transforms - Fast Unicode normalization in Haskell
streamly-cassava - Streaming CSV support for the Streamly ecosystem