Alternatives and similar repositories for dickinson

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

• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 2 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 5 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆62Updated last month
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆23Updated 2 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆60Updated last year
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated 3 weeks ago
• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆41Updated 7 months ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 11 months ago
• obsidiansystems / rhyolite
  ☆30Updated this week
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 8 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 11 months ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆95Updated 3 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 9 months ago
• emilypi / order
  Order theory
  ☆24Updated last year
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆33Updated 5 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆41Updated 2 weeks ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 7 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆45Updated 2 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last week
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 6 months ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 4 years ago