ocramz / petsc-hsLinks
Haskell bindings for PETSc and SLEPc
☆20Updated 8 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:
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- ☆32Updated 6 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Verified left pad☆19Updated 7 years ago
- HTTP cookie parsing and rendering☆20Updated 2 months ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22Updated 2 years ago
- A tool for caching cabal builds in a Nix store☆33Updated 9 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- A more progressive alternative to the "base" package☆27Updated 4 months ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- A servant client written for GHCJS☆12Updated 8 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- ☆54Updated 6 years ago
- A tool to fill in the version ranges in a cabal file.☆17Updated 9 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Relational algebra☆25Updated 8 years ago