Alternatives and similar repositories for mote

Users that are interested in mote are comparing it to the libraries listed below

• soenkehahn / dead-code-detection

  View on GitHub
  ☆25Aug 10, 2016Updated 9 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• lukexi / halive

  View on GitHub
  Live recompiler for Haskell
  ☆263Mar 26, 2021Updated 4 years ago
• valderman / ghc-simple

  View on GitHub
  Simplified interface to the GHC API
  ☆22Apr 4, 2019Updated 6 years ago
• mikeizbicki / ifcxt

  View on GitHub
  constraint level if statements
  ☆117Nov 29, 2017Updated 8 years ago
• nomeata / ghc-proofs

  View on GitHub
  Let GHC prove program equations for you
  ☆146Nov 4, 2018Updated 7 years ago
• soenkehahn / getopt-generics

  View on GitHub
  Create command line interfaces with ease
  ☆41Jan 21, 2023Updated 3 years ago
• quchen / cabal-install-bin

  View on GitHub
  Install binary packages in a temporary Cabal sandbox
  ☆16Dec 11, 2015Updated 10 years ago
• fpco / mezzohaskell

  View on GitHub
  Community-driven book on intermediate Haskell
  ☆292Feb 24, 2015Updated 10 years ago
• fpco / ide-backend

  View on GitHub
  ide-backend drives the GHC API to build, query, and run your code
  ☆118Jan 10, 2016Updated 10 years ago
• tathougies / generic-lens

  View on GitHub
  Automatically make lenses from data structures implementing Generic
  ☆26Feb 14, 2015Updated 11 years ago
• Gabriella439 / list-transformer

  View on GitHub
  List monad transformer
  ☆60May 19, 2024Updated last year
• jfeltz / dash-haskell

  View on GitHub
  dash docset builder for Haskell packages and cabal project dependencies
  ☆78Mar 16, 2020Updated 5 years ago
• ollef / Earley

  View on GitHub
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆378May 14, 2023Updated 2 years ago
• soenkehahn / generics-eot

  View on GitHub
  A library for generic programming that aims to be easy to understand
  ☆26Dec 16, 2025Updated last month
• Yuras / scanner

  View on GitHub
  Fast non-backtracking incremental combinator parsing for bytestrings
  ☆46Sep 8, 2025Updated 5 months ago
• RefactoringTools / HaRe

  View on GitHub
  The Haskell Refactoring Tool
  ☆138Jun 16, 2017Updated 8 years ago
• Airini / FEECa

  View on GitHub
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Jan 17, 2020Updated 6 years ago
• stackbuilders / inflections-hs

  View on GitHub
  Rails-like inflections for Haskell
  ☆37Aug 27, 2025Updated 5 months ago
• avieth / Algebraic

  View on GitHub
  Experiments on the construction of functions
  ☆29Nov 30, 2015Updated 10 years ago
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• DanielSchuessler / th-expand-syns

  View on GitHub
  Expands type synonyms in Template Haskell ASTs
  ☆11Jan 10, 2026Updated last month
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• MichaelXavier / drifter-postgresql

  View on GitHub
  PostgreSQL support for the drifter schema migration tool
  ☆12Dec 25, 2017Updated 8 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• vincenthz / hs-gauge

  View on GitHub
  Lean Haskell Benchmarking
  ☆90Aug 30, 2022Updated 3 years ago
• lspitzner / exference

  View on GitHub
  Haskell tool to generate expressions from types
  ☆101Aug 1, 2017Updated 8 years ago
• takenobu-hs / ghc-development-flow

  View on GitHub
  GHC development flow
  ☆24May 3, 2017Updated 8 years ago
• benjaminselfridge / logix

  View on GitHub
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆21Jun 3, 2022Updated 3 years ago
• ekmett / constraints

  View on GitHub
  Tools for programming with ConstraintKinds in GHC
  ☆74Jan 26, 2026Updated 2 weeks ago
• rubik / argon

  View on GitHub
  Monitor cyclomatic complexity in Haskell programs
  ☆98Feb 21, 2019Updated 6 years ago
• takenobu-hs / haskell-ghc-illustrated

  View on GitHub
  haskell ghc-illustrated
  ☆262Feb 13, 2021Updated 5 years ago
• thoughtbot / typebot

  View on GitHub
  A slack bot that will fetch type signatures via Hoogle
  ☆21May 11, 2016Updated 9 years ago
• migamake / homplexity

  View on GitHub
  Haskell code complexity and quality measurement
  ☆62Jan 25, 2023Updated 3 years ago
• karun012 / arion

  View on GitHub
  ☆46Updated this week
• tmcgilchrist / postgresql-transactional

  View on GitHub
  Transactional monadic actions on top of PostgreSQL.
  ☆58Jun 2, 2022Updated 3 years ago
• jwiegley / bytestring-fiat

  View on GitHub
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Apr 4, 2022Updated 3 years ago
• jkarni / verdict

  View on GitHub
  ☆26May 9, 2016Updated 9 years ago
• taktoa / ghcjs-electron

  View on GitHub
  GHCJS FFI bindings to the Electron API (WIP).
  ☆10May 21, 2017Updated 8 years ago