Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Differential Algebraic Equations (DAEs)
☆30Mar 6, 2012Updated 14 years ago
Alternatives and similar repositories for Hydra
Users that are interested in Hydra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- ☆15Jun 6, 2018Updated 8 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 11 months ago
- Haskell typechecker☆39May 7, 2019Updated 7 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆24Jan 15, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A discrete event simulation (DES) engine heavily based on the paradigm introduced by Simula and SimPy.☆13Jan 2, 2021Updated 5 years ago
- ☆11Jul 15, 2022Updated 3 years ago
- Make Atom Packages in Dart☆10Jun 8, 2015Updated 11 years ago
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 11 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- libpower is a Rust library containing algorithms commonly used in power electronics systems, targeted for use in embedded systems☆13Apr 20, 2026Updated 2 months ago
- functional template library☆15Jun 13, 2016Updated 10 years ago
- 3D version of snake☆16Sep 5, 2017Updated 8 years ago
- a scaleable ring topology network on chip (NoC) implemented in BSV☆12Oct 14, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Diff-o-matic does auto diff☆14May 9, 2022Updated 4 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Static Land Stream type for Most☆14Sep 6, 2016Updated 9 years ago
- ☆14Sep 10, 2022Updated 3 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 9 years ago
- Zettelkasten file processor☆11Oct 7, 2020Updated 5 years ago
- Haskell FFI bindings to CUDA☆82Jun 20, 2026Updated last week
- ☆21Mar 5, 2017Updated 9 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Small editor wrapped on cirru-editor☆14Aug 26, 2016Updated 9 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- the ultimate yak shave☆23Jul 17, 2020Updated 5 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Sep 7, 2024Updated last year
- Examples for using Tycho to build OSGi plugins☆13Jun 10, 2010Updated 16 years ago
- Better node.js preamble for dart2js, use it in your build system.☆19Aug 26, 2023Updated 2 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 5 years ago
- A way to build next.js apps for cloudflare workers☆14Feb 18, 2019Updated 7 years ago
- ☆10Nov 13, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- NSimulate is a .NET library written in c# that enables the development of discrent-event simulations. The library enables the modelling o…☆10Apr 4, 2016Updated 10 years ago
- C library for modeling and analyzing electric power networks.☆12Jun 10, 2021Updated 5 years ago