Cloud Haskell Demonstration
☆18Sep 5, 2015Updated 10 years ago
Alternatives and similar repositories for distributed-process-demos
Users that are interested in distributed-process-demos are comparing it to the libraries listed below
Sorting:
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- Applications of CloudHaskell to distributed computing, especially MapReduce☆21Mar 23, 2018Updated 7 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Support for static values☆22Sep 3, 2024Updated last year
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 8 years ago
- Serializable closures for distributed programming.☆66Nov 27, 2023Updated 2 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 4 months ago
- Double-ended queues☆14Feb 3, 2025Updated last year
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Message-oriented Middleware for Haskell☆23Dec 27, 2020Updated 5 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- high-level stream sockets in haskell☆17Sep 4, 2025Updated 6 months ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Jun 1, 2023Updated 2 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- pdf.js custom element for elm☆12May 11, 2022Updated 3 years ago
- The most comprehensive debouncer for Elm☆13Nov 28, 2018Updated 7 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 15 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Jul 23, 2016Updated 9 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 8 months ago
- ☆13Nov 23, 2019Updated 6 years ago
- Integers bounded by a closed interval☆14Dec 15, 2025Updated 3 months ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆38Dec 22, 2025Updated 2 months ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆17Nov 15, 2012Updated 13 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- A collection of techniques used in Haskell that are worth remembering.☆17Aug 30, 2010Updated 15 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 9 months ago
- Persist Elm data structures to IndexedDB using ports and LocalForage.☆10Nov 20, 2016Updated 9 years ago
- FRP library☆63Mar 25, 2018Updated 7 years ago
- A scroll progress indicator☆11Oct 8, 2016Updated 9 years ago
- How to use Haskell + Stack with Unreal Engine 4 on Windows - Blueprint version☆18May 12, 2017Updated 8 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆11Dec 29, 2015Updated 10 years ago