ekmett / rust-lens

Related projects ⓘ

Alternatives and complementary repositories for rust-lens

• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆17Updated 10 months ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 2 months ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆19Updated last week
• ekmett / parsnip
  ☆18Updated 3 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 6 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆37Updated last month
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆15Updated 2 years ago
• Bodigrim / chimera
  Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization
  ☆59Updated 4 months 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.
  ☆47Updated 2 months ago
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 4 years ago
• jfaure / lfvm-stg
  Map lazy functional language constructs to LLVM IR
  ☆50Updated 5 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• hdgarrood / qq-literals
  A Haskell library for compile-time checked literal values, via QuasiQuoters.
  ☆13Updated 3 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated 11 months ago
• gusbicalho / effects-toy
  Playing with Haskell effect systems
  ☆14Updated 4 years ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 6 months ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆22Updated 2 months ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆24Updated 6 months ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated 11 months ago
• ziman / itt-idris
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆23Updated last year
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago