holmes VS hnix

Compare holmes vs hnix and see what are their differences.

holmes

A reference library for constraint-solving with propagators and CDCL. (by i-am-tom)
Data Propagation constraint-solver Backtracking logic-programming
Source Code
hackage.haskell.org
Suggest alternative
Edit details

hnix

A Haskell re-implementation of the Nix expression language (by haskell-nix)
Data
Source Code
hackage.haskell.org
Suggest alternative
Edit details
InfluxDB
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
holmes hnix
- 4
297 728
- 1.2%
0.0 6.8
about 2 months ago about 1 month ago
Haskell Nix
MIT License BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

holmes

Posts with mentions or reviews of holmes. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning holmes yet.
Tracking mentions began in Dec 2020.

hnix

Posts with mentions or reviews of hnix. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-01-06.
  • Adding my own stuff to the prelude / global imports?
    1 project | /r/haskell | 19 Mar 2023
    I can refere to prelude setup in HNix
  • Good Haskell Source Code
    5 projects | /r/haskell | 6 Jan 2022
    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
    2 projects | /r/NixOS | 3 Dec 2021
    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
    1 project | /r/haskell | 5 Jun 2021
    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?

When comparing holmes and hnix you can also consider the following projects:

code-builder - Packages for defining APIs, running them, generating client code and documentation.

massiv - Efficient Haskell Arrays featuring Parallel computation

safecopy - An extension to Data.Serialize with built-in version control

refined - Refinement types with static checking

abcBridge - Haskell bindings for ABC

prim-uniq - Opaque unique identifiers in primitive state monads

hashable - A class for types that can be converted to a hash value

interpolate - String interpolation for Haskell done right!

b-tree - Haskell on-disk B* tree implementation

Frames - Data frames for tabular data.

primitive - This package provides various primitive memory-related operations.

holmes vs code-builder hnix vs massiv holmes vs massiv hnix vs safecopy holmes vs refined hnix vs abcBridge holmes vs prim-uniq hnix vs hashable holmes vs interpolate hnix vs b-tree holmes vs Frames hnix vs primitive