|about 1 month ago||26 days ago|
|Mozilla Public License 2.0||GNU General Public License v3.0 or later|
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
CS SYD - JSON Vulnerability in Haskell's Aeson library
3 projects | reddit.com/r/haskell | 11 Sep 2021
Technically, Text for keys could be abstracted away as well. e.g. if someone would like to experiment with https://hackage.haskell.org/package/text-short. (JSON object keys are not sliced that often that 16 byte overhead may make a difference).
What are some alternatives?
haskell-language-server - Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
text-binary - Binary instances for strict and lazy Text data types
text-stream-decode - Streaming decoding functions for UTF encodings.
unicode-transforms - Fast Unicode normalization in Haskell
text - Haskell library for space- and time-efficient operations over Unicode text.
text-icu - This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
text-trie - An efficient finite map from Text to values, based on bytestring-trie.
safeio - Haskell Library for safe (atomic) IO