Alternatives and similar repositories for FEECa

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

• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 3 months ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆14Updated 8 years ago
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 7 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated last year
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 7 months ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated last month
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 4 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 11 months ago
• mokus0 / hs-hdf5
  Low-level typesafe HDF5 bindings
  ☆28Updated 12 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last month
• camfort / fortran-src
  Fortran parsing and static analysis infrastructure
  ☆54Updated 2 weeks ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 8 months ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• qnikst / numeric-ode
  Haskell numerical ODE solvers
  ☆14Updated 7 years ago
• byorgey / boltzmann
  ☆10Updated 9 years ago
• oisdk / type-indexed-queues
  Queues with verified and unverified versions
  ☆9Updated 8 years ago
• dagit / language-fortran
  Haskell parser and manipulation functions for Fortran code
  ☆17Updated 9 years ago
• pechersky / haskell-numpy-docs
  Examples of Haskell versions of Numpy usage
  ☆18Updated 8 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 13 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year