Alternatives and similar repositories for HaskSymb:

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

• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 4 months ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆76Updated 4 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆80Updated 8 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• andrejbauer / marshall
  Real number computation software
  ☆122Updated 2 years ago
• cmu-phil / Spectral
  ☆45Updated last year
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 9 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆90Updated 4 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 6 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆54Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 9 months ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆112Updated last week
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆69Updated 3 years ago