Alternatives and similar repositories for tower

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

• GaloisInc / ivory

  View on GitHub
  The Ivory EDSL
  ☆408Feb 21, 2020Updated 5 years ago
• christian-marie / xxhash

  View on GitHub
  Haskell implementation of the XXHash algorithm
  ☆16Dec 3, 2025Updated 2 months ago
• diagrams / active

  View on GitHub
  Time-varying values with start and end times.
  ☆16Jun 19, 2025Updated 7 months ago
• jkff / greg

  View on GitHub
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆38Mar 18, 2015Updated 10 years ago
• hverr / haskell-cache

  View on GitHub
  An in-memory key/value store with expiration support
  ☆26Aug 1, 2023Updated 2 years ago
• ekmett / promises

  View on GitHub
  lazy promises
  ☆28Jan 8, 2021Updated 5 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• GaloisInc / HaNS

  View on GitHub
  The haskell network stack
  ☆118Jan 16, 2018Updated 8 years ago
• bgamari / nanomsg-haskell

  View on GitHub
  Haskell bindings to nanomsg
  ☆25Jul 19, 2025Updated 6 months ago
• spacekitteh / haskell-clifford

  View on GitHub
  Clifford algebra for Haskell! :D
  ☆14Jul 1, 2014Updated 11 years ago
• ekmett / unique

  View on GitHub
  fast unique variables
  ☆10Aug 23, 2025Updated 5 months ago
• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 4 years ago
• paf31 / purescript-foreign-lens

  View on GitHub
  A lens-compatible set of getters for purescript-foreign
  ☆10Apr 4, 2017Updated 8 years ago
• idris-hackers / idris-lens

  View on GitHub
  ☆23Sep 30, 2016Updated 9 years ago
• paf31 / purescript-smash

  View on GitHub
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Aug 16, 2020Updated 5 years ago
• purescript-contrib / purescript-colors

  View on GitHub
  Convert, manipulate, analyze, blend, color scales, color schemes
  ☆44Apr 27, 2022Updated 3 years ago
• KesterTong / idris2048

  View on GitHub
  2048 in Idris
  ☆124Nov 28, 2017Updated 8 years ago
• mietek / formal-logic

  View on GitHub
  TODO
  ☆23Oct 10, 2015Updated 10 years ago
• GaloisInc / smaccmpilot-stm32f4

  View on GitHub
  SMACCMPilot flight controller
  ☆32Aug 11, 2017Updated 8 years ago
• purescript-deprecated / purescript-lens

  View on GitHub
  PureScript implementation of lens
  ☆78Oct 3, 2020Updated 5 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• eckart / SDL2-idris

  View on GitHub
  SDL2 Bindings for the Idris programming language
  ☆10Feb 26, 2020Updated 5 years ago
• danelahman / Directed-Containers

  View on GitHub
  An Agda formalisation of the theory of directed containers
  ☆12Apr 25, 2025Updated 9 months ago
• purescript-contrib / purescript-these

  View on GitHub
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Apr 27, 2022Updated 3 years ago
• int-index / slay

  View on GitHub
  Source Layouting Engine
  ☆11Mar 7, 2021Updated 4 years ago
• cryptodotis / mixgui

  View on GitHub
  A Thunderbird Extension for Mixminion
  ☆11Oct 17, 2011Updated 14 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• idris-hackers / idris-crypto

  View on GitHub
  Implementation of cryptographic primitives using Idris
  ☆123May 5, 2018Updated 7 years ago
• jonnylaw / ComposableStateSpaceModels

  View on GitHub
  ☆15Jun 22, 2020Updated 5 years ago
• oherrala / haskell-stun

  View on GitHub
  Haskell STUN (Session Traversal Utilities for NAT) implementation
  ☆14Dec 19, 2021Updated 4 years ago
• felixSchl / purescript-pipes

  View on GitHub
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Apr 29, 2022Updated 3 years ago
• ghcjs / shims

  View on GitHub
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Jun 10, 2019Updated 6 years ago
• GaloisInc / hexdump

  View on GitHub
  A human readable style for binary data.
  ☆12Dec 4, 2019Updated 6 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• haskell-hvr / rss

  View on GitHub
  A library for generating RSS 2.0 feeds.
  ☆18Jan 6, 2026Updated last month
• thsutton / rawr

  View on GitHub
  Roaring bitmaps in Haskell
  ☆13Oct 16, 2018Updated 7 years ago
• idris-hackers / idrispkgs

  View on GitHub
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Sep 10, 2015Updated 10 years ago
• basvandijk / lifted-base

  View on GitHub
  IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
  ☆19Mar 16, 2023Updated 2 years ago
• jonsterling / agda-effectful-forcing

  View on GitHub
  Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…
  ☆13Sep 22, 2020Updated 5 years ago