giorgidze / Hydra
Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Differential Algebraic Equations (DAEs)
☆30Updated 12 years ago
Related projects: ⓘ
- Julia embedded in Haskell☆53Updated 5 years ago
- Real number computation software☆120Updated 2 years ago
- Disciplined Convex Programming in Haskell☆22Updated 6 months ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- A multi-method simulation library☆79Updated 2 months ago
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆22Updated 3 weeks ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Probabilistic computation in Idris☆33Updated 5 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 2 weeks ago
- Julia Implementation of Unums☆42Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- Quick and easy data visualizations with Haskell☆83Updated 6 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆87Updated 7 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 5 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- Implementation of Univalence in Cubical Sets☆144Updated 9 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆50Updated 4 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆157Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago