Alternatives and similar repositories for gravity:

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

• ga / haskell
  A geometric algebra implementation in Haskell
  ☆29Updated 4 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated last year
• mokus0 / hs-hdf5
  Low-level typesafe HDF5 bindings
  ☆28Updated 12 years ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• mokus0 / polynomial
  Haskell library for manipulating and evaluating polynomials
  ☆20Updated 3 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• DougBurke / astro-haskell
  IHaskell notebooks showing how Haskell can be used in Astronomy.
  ☆23Updated 9 years ago
• byorgey / species
  ☆17Updated last year
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• bjpop / haskell-mpi
  MPI bindings for Haskell
  ☆46Updated 2 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated last year
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 7 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 11 months ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 10 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated last year
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 8 years ago
• jb55 / pipes-csv
  Streaming csv parser using cassava and pipes
  ☆20Updated 9 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆21Updated 7 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago