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

• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆37Updated 2 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 2 months ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 5 years ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 7 months ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 6 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 6 years ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• mstksg / typelits-witnesses
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆15Updated last year
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 2 weeks ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated last year
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• paulyoung / purescript-corefn
  A library for working with the PureScript functional core.
  ☆23Updated 5 years ago
• michaelpj / abstract-machine-debuggers
  ☆12Updated 6 years ago
• felixmulder / hedgehog-servant
  Property based testing for Servant using Hedgehog
  ☆19Updated 4 years ago
• hazelgrove / agda-popl17
  Mechanization of Hazelnut, as submitted to POPL 2017
  ☆16Updated 3 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 5 years ago
• pigworker / Ming
  being the emperor of Mongo, but also a verb
  ☆15Updated 6 years ago
• jwiegley / parsec-free
  ☆23Updated 2 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Updated 3 months ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆29Updated 8 months ago
• kowainik / unlift
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Updated 4 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated 6 months ago