giorgidze / HydraLinks
Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Differential Algebraic Equations (DAEs)
☆30Updated 13 years ago
Alternatives and similar repositories for Hydra
Users that are interested in Hydra are comparing it to the libraries listed below
Sorting:
- Real number computation software☆126Updated 3 years ago
- ☆55Updated 8 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆152Updated 11 months ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Julia embedded in Haskell☆52Updated 8 months ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Reference type checker for the Lean theorem prover☆16Updated 7 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- A multi-method simulation library☆82Updated last year
- Probabilistic computation in Idris☆34Updated 6 years ago
- Implementation of Univalence in Cubical Sets☆147Updated 10 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- The Kleenex programming language☆56Updated 10 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- The SAW core language.☆54Updated 4 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 9 years ago
- Editor for language composition☆58Updated 2 years ago
- higher order dependently typed logic programing☆174Updated 7 years ago
- playground for working with succinct data structures☆97Updated 9 years ago