giorgidze / HydraView external linksLinks
Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Differential Algebraic Equations (DAEs)
☆30Mar 6, 2012Updated 13 years ago
Alternatives and similar repositories for Hydra
Users that are interested in Hydra are comparing it to the libraries listed below
Sorting:
- A discrete event simulation (DES) engine heavily based on the paradigm introduced by Simula and SimPy.☆13Jan 2, 2021Updated 5 years ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- Example to use Boehm GC on LLVM IR.☆16Apr 22, 2017Updated 8 years ago
- Functional Programming for Logicians, 2019 Spring, ELTE☆12Jun 11, 2019Updated 6 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- a scaleable ring topology network on chip (NoC) implemented in BSV☆12Oct 14, 2014Updated 11 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Aug 8, 2019Updated 6 years ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Sep 5, 2025Updated 5 months ago
- REST API provider configuration for the Purest module☆11Jan 13, 2021Updated 5 years ago
- FM-index is the fastest full text search algorithm using a compressed index file. This is FM-index for JSX/JS/AMD/Common.js.☆11Nov 9, 2013Updated 12 years ago
- An effect system based on type classes, written in Haskell.☆45Nov 10, 2021Updated 4 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- [DEPRECATED] Carbon Design System add-on for IBM Cloud☆14May 23, 2024Updated last year
- ☆10Nov 27, 2016Updated 9 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 6 months ago
- Cryptonomica Arbitration Rules☆10Dec 17, 2018Updated 7 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- ☆14Sep 10, 2022Updated 3 years ago
- Run Minikube From Terraform☆12Aug 10, 2019Updated 6 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Extensive Golang implementation of Concise Binary Object Representation (CBOR RFC7049) encoder and decoder☆10Nov 24, 2019Updated 6 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 4 years ago
- Tiny single script to colorize `go test`☆12Feb 16, 2023Updated 3 years ago
- Conditionally enter a context manager☆11Jun 3, 2024Updated last year
- Line editor and Cisco-style command tree☆13May 16, 2022Updated 3 years ago
- Small editor wrapped on cirru-editor☆13Aug 26, 2016Updated 9 years ago
- Auto-differentiation library for javascript☆12Mar 4, 2021Updated 4 years ago
- A place to house minutes and other documents related to the core team.☆13Dec 16, 2020Updated 5 years ago
- a Haskell clone for the JVM☆12Jul 9, 2015Updated 10 years ago
- DeV Tools - Swiss Army Knife of command line utilities☆13Sep 29, 2023Updated 2 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- Simple Noise handshake state machine☆15Sep 24, 2020Updated 5 years ago
- Tiny HTTP library made purely on libuv and napi☆13May 28, 2023Updated 2 years ago
- ☆10Mar 26, 2022Updated 3 years ago
- Simple task management app☆10Updated this week
- A programming language focused on concurrency and low memory usage☆12Apr 29, 2019Updated 6 years ago