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 4 months ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆116Updated last week
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆35Updated 2 weeks ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆39Updated 10 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 4 months ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆114Updated 7 months ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 3 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆151Updated last month
• dfithian / chez-grater
  ☆37Updated 2 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 10 months ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated last year
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆64Updated 11 months ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 4 months ago
• lexi-lambda / lexi-lambda.github.io
  ☆38Updated 7 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆48Updated 2 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆73Updated 2 weeks ago