Airini / FEECaLinks
FEECa: Finite Element Exterior Calculus in Haskell
☆34Updated 6 years ago
Alternatives and similar repositories for FEECa
Users that are interested in FEECa are comparing it to the libraries listed below
Sorting:
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 10 months ago
- Some operator abuse☆29Updated 8 years ago
- Haskell bindings to the Eigen C++ library☆16Updated last year
- Numerical computation in native Haskell☆93Updated 3 weeks ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- Multidimensional arrays and simple tensor computations☆38Updated last year
- Haskell numerical ODE solvers☆14Updated 8 years ago
- Fortran parsing and static analysis infrastructure☆58Updated last week
- haskell bindings for blas and lapack☆49Updated 8 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 8 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 13 years ago
- Julia embedded in Haskell☆52Updated last year
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 6 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- Exact real arithmetic in Haskell☆25Updated 4 years ago
- MPI bindings for Haskell☆18Updated 3 weeks ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 9 months ago
- Low-level typesafe HDF5 bindings☆28Updated 12 years ago
- probabilistic programming in Haskell☆17Updated 9 years ago
- Derivation of C-like Storable Instances☆13Updated 9 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 8 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 5 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 6 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Updated 2 months ago
- A topological data analysis library for Haskell☆29Updated 4 years ago