Instance-map Alternatives

Similar projects and alternatives to instance-map

• list-witnesses

  - 1 0.0 Haskell instance-map VS list-witnesses

  Inductive dependently-typed witnesses for working with type-level lists.

• decidable

  - 11 0.0 Haskell instance-map VS decidable

  Combinators for manipulating dependently-typed predicates.

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

• lens-typelevel

  - 15 0.0 Haskell instance-map VS lens-typelevel

  Type-level lenses using singletons because why not

• agda2lagda

  - 12 3.8 Haskell instance-map VS agda2lagda

  Simple conversion from Agda text to literate Agda text.

• agda-snippets

  - 5 0.0 Haskell instance-map VS agda-snippets

  Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

• ral-optics

  - - - instance-map VS ral-optics

• agda-unused

  - 6 0.0 Haskell instance-map VS agda-unused

  Check for unused code in an Agda project.

• Scout APM

  scoutapm.com

  sponsored

  Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.