Alternatives and similar repositories for jacinda

Users that are interested in jacinda are comparing it to the libraries listed below

• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆27Updated 5 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 3 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• jkoppel / ecta
  ☆37Updated last year
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 10 months ago
• effectfully-ou / sketches
  A Haskell blog
  ☆151Updated 2 months ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 3 months ago
• dfithian / chez-grater
  ☆37Updated 2 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆113Updated 6 months ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated last year
• mchav / granite
  A library for producing terminal plots.
  ☆70Updated last month
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆35Updated this week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆137Updated 2 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆149Updated last week
• two-twelve / fernery
  A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
  ☆49Updated 2 months ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆98Updated 9 months ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 11 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆47Updated last year
• bitc / hs-term-emulator
  Terminal Emulator written in 100% Haskell
  ☆69Updated 3 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• basic-calculus / prologish
  ☆12Updated 5 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago