free-functors
hnix
| free-functors | hnix | |
|---|---|---|
| - | 4 | |
| 27 | 729 | |
| - | 0.4% | |
| 0.0 | 6.8 | |
| about 3 years ago | about 2 months ago | |
| Haskell | Nix | |
| BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License |
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.
free-functors
We haven't tracked posts mentioning free-functors yet.
Tracking mentions began in Dec 2020.
hnix
-
Adding my own stuff to the prelude / global imports?
I can refere to prelude setup in HNix
-
Good Haskell Source Code
I also can nominate HNix: https://github.com/haskell-nix/hnix. Nix is a lazy pure language, HNix is an implementation of Nix in lazy pure language (Haskell). The project was done by a famous expert in the field of compilers/interpreters, which worked on Borland C++ compiler back in a day. The project overall was done by a pretty start team.
-
Tvix: We are rewriting Nix
Well, maintaining a rewrite of Nix in Haskell: https://github.com/haskell-nix/hnix.
-
HNix - Nix in Haskell, about the project & meeting with the creator
HNix is a Nix (pure lazy language) interpreter/tooling in Haskell. So it is a field&case of pure-to-pure, lazy-to-lazy language creation. HNix is created with fancy design paradigms (design introduction): as recursion schemes (since Nix is a recursive language) & Abstracting Definitional Interpreters. Mentioning these two particularly, as they align HNix to GHC in a natural way, design leverages & projects GHC power to HNix, allowing to concentrate on language implementation.
What are some alternatives?
unordered-containers - Efficient hashing-based container types
massiv - Efficient Haskell Arrays featuring Parallel computation
split-morphism - :curly_loop: Split Morphisms
safecopy - An extension to Data.Serialize with built-in version control
rzk - An experimental proof assistant based on a type theory for synthetic ∞-categories.
hashable - A class for types that can be converted to a hash value
lens - Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
abcBridge - Haskell bindings for ABC
discokitty - An educational implementation of some aspects of the DisCoCat framework
b-tree - Haskell on-disk B* tree implementation
categorifier - Interpret Haskell programs into any cartesian closed category.
primitive - This package provides various primitive memory-related operations.