crabmusket / haskell-simple-concurrencyView external linksLinks
Small examples of concurrency in Haskell.
☆80Aug 26, 2016Updated 9 years ago
Alternatives and similar repositories for haskell-simple-concurrency
Users that are interested in haskell-simple-concurrency are comparing it to the libraries listed below
Sorting:
- Snap integration for the websockets library☆33Mar 29, 2024Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- Rust Cryptography Intrinsics☆12May 9, 2019Updated 6 years ago
- GHC plugin for open telemetry☆27Jun 5, 2025Updated 8 months ago
- A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop☆85Nov 8, 2014Updated 11 years ago
- A docker container for compiling statically linked binaries written in Haskell☆27Aug 25, 2015Updated 10 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43May 9, 2016Updated 9 years ago
- A fully type-safe finite state machines☆20Nov 19, 2024Updated last year
- Preflight checklist for Haskell code. Aspire to greatness!☆68Aug 26, 2016Updated 9 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- :fork command for ghci☆21Jan 7, 2019Updated 7 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Jul 21, 2025Updated 6 months ago
- 🍥 Haskell向けLINE Messaging API SDK☆34Nov 9, 2022Updated 3 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 8 years ago
- Rope data structure used by Yi☆20Jun 6, 2018Updated 7 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Haskell Web Library☆15Sep 28, 2020Updated 5 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- The most comprehensive debouncer for Elm☆13Nov 28, 2018Updated 7 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 6 months ago
- Clipboard synchronization tool☆12Jan 30, 2026Updated 2 weeks ago
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆43Apr 26, 2021Updated 4 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Program imperatively using PureScript, State monad and lenses☆25Sep 9, 2018Updated 7 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- ide-backend drives the GHC API to build, query, and run your code☆118Jan 10, 2016Updated 10 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 6 years ago
- Persist Elm data structures to IndexedDB using ports and LocalForage.☆10Nov 20, 2016Updated 9 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Types for ldtk☆16Apr 13, 2024Updated last year
- Integers bounded by a closed interval☆14Dec 15, 2025Updated 2 months ago
- Prints lines with IDE friendly stack traces in Haskell.☆12Sep 12, 2019Updated 6 years ago
- pdf.js custom element for elm☆12May 11, 2022Updated 3 years ago