Permutation Alternatives

Similar projects and alternatives to permutation

• Agda

  - 1,852 9.6 Haskell permutation VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• vinyl

  - 247 5.3 Haskell permutation VS vinyl

  Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode. (by VinylRecords)

  

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• singletons

  - 262 5.3 Haskell permutation VS singletons

  Fake dependent types in Haskell using singletons

• hevm

  - 1,616 9.0 Haskell permutation VS hevm

  Dapp, Seth, Hevm, and more

  

• miso

  - 1,973 6.9 Haskell permutation VS miso

  :ramen: A tasty Haskell front-end framework

• type-level-sets

  - 63 5.5 Haskell permutation VS type-level-sets

  Type-level sets for Haskell (with value-level counterparts and various operations)

• psqueues

  - 61 2.4 Haskell permutation VS psqueues

  Priority Search Queues in three different flavors for Haskell

• JetBrains

  surveys.jetbrains.com

  sponsored

  Developer Ecosystem Survey 2022. Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.

  

• hoq

  - 77 0.0 Haskell permutation VS hoq

  A language based on homotopy type theory with an interval

• distributive

  - 40 1.0 Haskell permutation VS distributive

  Dual Traversable

• multiset

  - 18 0.0 Haskell permutation VS multiset

  multiset haskell package

Suggest an alternative to permutation