Idris2-pkgs Alternatives

Similar projects and alternatives to idris2-pkgs

Idris2

39 2,395 9.6 Idris idris2-pkgs VS Idris2

A purely functional programming language with first class types
idris

5 3,408 6.2 Haskell idris2-pkgs VS idris

A Dependently Typed Functional Programming Language
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Home Manager using Nix

182 5,863 9.8 Nix idris2-pkgs VS Home Manager using Nix

Manage a user environment using Nix [maintainer=@rycee]
nix-darwin

39 2,235 8.9 Nix idris2-pkgs VS nix-darwin

nix modules for darwin
nixpkgs

972 15,581 10.0 Nix idris2-pkgs VS nixpkgs

Nix Packages collection & NixOS
inigo

1 58 0.0 Idris idris2-pkgs VS inigo

Inigo: A Package Manager for Idris2
home-manager

4 1,753 9.1 Nix idris2-pkgs VS home-manager

Discontinued Manage a user environment using Nix [maintainer=@rycee] [Moved to: https://github.com/nix-community/home-manager] (by rycee)
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better idris2-pkgs alternative or higher similarity.

Suggest an alternative to idris2-pkgs

idris2-pkgs reviews and mentions

Posts with mentions or reviews of idris2-pkgs. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-11-28.