Alternatives and similar repositories for lattices:

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

• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 5 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 7 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• brendanhay / numbersd
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Updated 10 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 8 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 6 years ago
• ekmett / name
  nominal sets in haskell
  ☆19Updated 6 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• archive567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• GaloisInc / jvm-verifier
  The Java Symbolic Simulator, part of SAW.
  ☆10Updated 4 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• Gabriella439 / sig
  Blazing fast signature detection
  ☆10Updated 2 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 2 months ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 2 months ago
• kaizhang / clustering
  fast clustering algorithms
  ☆15Updated 5 years ago