isovector / dynahaskellView external linksLinks
the dynabook but for haskell
☆23Sep 23, 2019Updated 6 years ago
Alternatives and similar repositories for dynahaskell
Users that are interested in dynahaskell are comparing it to the libraries listed below
Sorting:
- Guess-A-Number game in Haskell using Polysemy☆28Nov 20, 2022Updated 3 years ago
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 4 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Category theory concepts in type classes and instances.☆23Updated this week
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 5 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Aug 2, 2020Updated 5 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- A Purescript implementation of Elm's `core` library☆30Jun 11, 2018Updated 7 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Jul 8, 2019Updated 6 years ago
- 🐢 Bringing slow news for the nervous among us☆113Oct 23, 2020Updated 5 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- First-class type families☆90Nov 6, 2025Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆70May 8, 2023Updated 2 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- ☆24May 22, 2020Updated 5 years ago
- A web audio player demo using Halogen for skipping in different increments☆20Jun 20, 2018Updated 7 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A utility for defining tagged unions in TypeScript + pattern matching functions☆27Nov 18, 2020Updated 5 years ago
- Rope data structure used by Yi☆20Jun 6, 2018Updated 7 years ago
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Jul 4, 2022Updated 3 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 6 months ago
- ☆10Sep 26, 2017Updated 8 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 7 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated last month
- The most comprehensive debouncer for Elm☆13Nov 28, 2018Updated 7 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Typeclasses in Typescript via prototype modification. Breaking best practices for fun and profit.☆13Nov 12, 2022Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 3 years ago