Airini / FEECaLinks
FEECa: Finite Element Exterior Calculus in Haskell
☆34Updated 5 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☆31Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Haskell bindings to the Eigen C++ library☆16Updated last year
- Low-level typesafe HDF5 bindings☆28Updated 12 years ago
- Numerical computation in native Haskell☆91Updated 4 years ago
- B-Splines, other splines, and NURBS in Haskell.☆22Updated 7 years ago
- Some operator abuse☆29Updated 7 years ago
- haskell bindings for blas and lapack☆49Updated 7 years ago
- Fortran parsing and static analysis infrastructure☆54Updated last month
- Multidimensional arrays and simple tensor computations☆38Updated last year
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated 8 months ago
- Julia embedded in Haskell☆52Updated 5 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago
- Automated theorem prover for a linear logic-based calculus for molecular biology.☆12Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- - An overview of Haskell numerical libraries☆15Updated 8 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 2 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''☆10Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Haskell parser and manipulation functions for Fortran code☆17Updated 9 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 9 months ago