ekmett / ad
Automatic Differentiation
☆372Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for ad
- Linear algebra and numerical computation☆381Updated 4 months ago
- Efficient Haskell Arrays featuring Parallel computation☆386Updated 2 months ago
- Low-dimensional linear algebra primitives for Haskell.☆201Updated 3 weeks ago
- Compiling to Categories☆436Updated 8 months ago
- A library for probabilistic programming in Haskell.☆408Updated this week
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆366Updated last week
- Type safe interface for working in subcategories of Hask☆418Updated 5 years ago
- Generalized bananas, lenses and barbed wire☆336Updated 4 months ago
- Embedded language for high-performance array computations☆903Updated last week
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated 2 months ago
- Data frames for tabular data.☆298Updated last year
- High performance, regular, shape polymorphic parallel arrays.☆137Updated 8 months ago
- Algebraic graphs☆719Updated 5 months ago
- Generically derive traversals, lenses, and prisms.☆437Updated 7 months ago
- The Monad Transformer Library☆367Updated 3 months ago
- A Functional Graph Library for Haskell☆184Updated last month
- Assorted concrete container types☆316Updated last week
- Fake dependent types in Haskell using singletons☆287Updated 2 weeks ago
- The home of the Glamorous Glambda interpreter☆219Updated 3 months ago
- Empire strikes back☆464Updated last year
- A fast Haskell library for parsing ByteStrings☆513Updated last month
- A fast, high quality library for computing with statistics in Haskell.☆299Updated last year
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆181Updated 4 months ago
- ☆284Updated 9 months ago
- Standard library for linear types in Haskell.☆335Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆243Updated this week
- Compositional pipelines☆489Updated 2 years ago
- Optics as an abstract interface☆375Updated 3 months ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆449Updated last month
- Number theory: primes, arithmetic functions, modular computations, special sequences☆148Updated last month