Alternatives and similar repositories for gravity:

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

• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆13Updated 6 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 8 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• fieldstrength / xquant
  Dependently-typed structures for quantum physics in Idris
  ☆13Updated 9 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 4 months ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• idris-hackers / idris-lens
  ☆22Updated 8 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 6 years ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated 10 months ago