ocramz / petsc-hsLinks
Haskell bindings for PETSc and SLEPc
☆21Updated 9 years ago
Alternatives and similar repositories for petsc-hs
Users that are interested in petsc-hs are comparing it to the libraries listed below
Sorting:
- Units of measure as a GHC typechecker plugin☆31Updated 3 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 10 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Updated 7 years ago
- ☆21Updated 3 years ago
- A categorical framework for circuit construction☆31Updated 9 years ago
- ☆26Updated 9 years ago
- Agda-style equational reasoning in Haskell☆54Updated 3 weeks ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆59Updated last month
- Type-safe library for generating haskell source code☆28Updated 8 years ago
- A library for generic programming that aims to be easy to understand☆26Updated last month
- Slides for my Haskell Symposium 2015 lighting talk☆13Updated 10 years ago
- Example on how to integrate Haskell and C++ library.☆13Updated 10 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Updated 6 years ago
- Relational algebra☆25Updated 9 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Statistical data visualization☆11Updated 9 years ago
- An unofficial issue tracker for all things Haskell-related☆18Updated 9 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Updated 6 years ago
- Haskell numerical ODE solvers☆14Updated 8 years ago
- ☆25Updated 9 years ago
- A book about large-scale design in Haskell☆75Updated 11 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- Monad Transformers and Classes☆76Updated 6 years ago
- A package exposing a function for generating catamorphisms.☆29Updated 7 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Updated 10 years ago
- A tool for caching cabal builds in a Nix store☆33Updated 10 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 3 months ago
- A more flexible mtl☆62Updated 7 years ago
- A Distributed Computing Library in Haskell☆52Updated 8 years ago
- Text-based interactive GHC .prof viewer☆48Updated 2 years ago