Alternatives and similar repositories for Hydra

Users that are interested in Hydra are comparing it to the libraries listed below

• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated last year
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆29Updated 6 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆274Updated 12 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆123Updated 8 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆154Updated last year
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 2 weeks ago
• Airini / FEECa
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Updated 6 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆178Updated last year
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 11 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆28Updated 9 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆23Updated 10 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year