Alternatives and similar repositories for synchron

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

• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 7 months ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated 3 months ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated this week
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆58Updated last year
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 4 months ago
• rkaippully / gamgee
  A command-line replacement for the Google Authenticator App
  ☆25Updated last year
• symphony-org / frost
  Frost
  ☆19Updated 4 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• ArturGajowy / ghc-clippy-plugin
  A helpful companion to GHC. Overrides GHC messages, to the user's liking.
  ☆33Updated 4 years ago
• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 4 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• runarorama / unisonlibraries
  A collection of libraries I've written for Unison
  ☆11Updated 5 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 2 months ago
• estatico / generic-override
  Override instances used by Haskell's generic derivation
  ☆31Updated 2 years ago
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated 8 months ago
• ocharles / dhall-agda
  Dhall, formalised in Agda
  ☆10Updated 5 years ago
• snoyberg / trio
  Crazy experiment, ignore unless you know better
  ☆37Updated 6 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• Gabriella439 / graph
  Dhall support for directed graphs with labeled vertices
  ☆19Updated 3 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• fehrenbach / purescript-unordered-collections
  Fast, hash-based, immutable collections.
  ☆25Updated last year
• alonsodomin / haskell-schema
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆20Updated 3 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆25Updated 2 years ago
• icicle-lang / icicle
  Icicle Streaming Query Language
  ☆27Updated last week