DougBurke / astro-haskellLinks
IHaskell notebooks showing how Haskell can be used in Astronomy.
☆23Updated 10 years ago
Alternatives and similar repositories for astro-haskell
Users that are interested in astro-haskell are comparing it to the libraries listed below
Sorting:
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Optional function arguments☆16Updated 2 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- ☆39Updated 7 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 8 years ago
- GHC development flow☆24Updated 8 years ago
- fast clustering algorithms☆15Updated 6 years ago
- Generate recurring dates.☆16Updated last year
- Fuzzy string search in Haskell☆14Updated last year
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 9 months ago
- Make presentations for data types☆25Updated 3 years ago
- Succinct vectors☆20Updated 6 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
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- - An overview of Haskell numerical libraries☆15Updated 8 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 10 years ago
- Fast and flexible k-d trees for various types of point queries.☆24Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago