Alternatives and similar repositories for Fae:

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

• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 7 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 8 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 3 years ago
• ninjarab / stk
  Stk is a free, real time stock quotes, charts and market overview.
  ☆17Updated 6 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• bitnomial / bitcoind-rpc
  A cilent for the bitcoind JSON-RPC interface
  ☆12Updated 3 months ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• deech / LeftPad
  ☆23Updated 7 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 3 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 7 months ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago
• dalaing / little-languages
  Playing with DSLs in Haskell
  ☆22Updated 8 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 6 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last month
• eskimor / purescript-localstorage
  Access JS webstorage (local & session) in a typesafe and convenient way
  ☆29Updated 7 years ago
• merijn / broadcast-chan
  Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
  ☆18Updated last month
• coot / purescript-isomorphic-react-example
  Example of Isomorphic React Application written in PureScript
  ☆22Updated 7 years ago
• parsonsmatt / persistent-typed-db
  A type and helpers for typesafe SQL access in the presence of many databases.
  ☆23Updated last year
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 7 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• thsutton / aeson-diff
  Generate and apply diffs between JSON documents.
  ☆39Updated 2 years ago