Alternatives and similar repositories for functional-mos6502-web-performance

Users that are interested in functional-mos6502-web-performance are comparing it to the libraries listed below

• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 2 months ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last week
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated 8 months ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆27Updated last year
• purescript / purescript-foreign-object
  Functions for working with homogeneous JavaScript objects
  ☆28Updated 2 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• minimapletinytools / smarties
  haskell behavior tree library
  ☆11Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 weeks ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 11 months ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated 2 years ago
• robrix / silkscreen
  Prettyprinting transformers for rainbow parens, precedence, etc.
  ☆16Updated 3 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 4 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 3 months ago
• atennapel / qtt-ts
  Implementation of Quantitative Type Theory (in TypeScript)
  ☆12Updated 4 years ago
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 7 months ago
• purefunctor / purescript-dissect
  Dissectible data structures for implementing iterative traversals.
  ☆20Updated 3 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• ekmett / parsnip
  ☆18Updated 4 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago