Alternatives and similar repositories for lens-rs

Users that are interested in lens-rs are comparing it to the libraries listed below

• TOETOE55 / rovv

  View on GitHub
  A crate to provide anonymous row type, which fields can be access by lens-rs
  ☆15May 27, 2021Updated 4 years ago
• TOETOE55 / lens-rs

  View on GitHub
  lens implemented in rust
  ☆117Jun 5, 2023Updated 2 years ago
• niltok / itp-ard

  View on GitHub
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Sep 7, 2022Updated 3 years ago
• MarisaKirisame / HappyTree

  View on GitHub
  Happy Little Decision Tree
  ☆16Jan 12, 2018Updated 8 years ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• playXE / cgc

  View on GitHub
  Copying Garbage Collector
  ☆14May 13, 2020Updated 5 years ago
• hdevalence / text_tree

  View on GitHub
  dom-like layout for terminal applications
  ☆13Dec 27, 2020Updated 5 years ago
• ringbahn / uring-sys

  View on GitHub
  liburing bindings
  ☆35Aug 28, 2022Updated 3 years ago
• 2bdkid / refinement

  View on GitHub
  Convenient creation of type-safe refinement types.
  ☆23Jul 30, 2024Updated last year
• owo-lang / narc-rs

  View on GitHub
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Oct 5, 2020Updated 5 years ago
• spacejam / assert_panic_free

  View on GitHub
  ☆16Mar 3, 2021Updated 4 years ago
• veldsla / rle_vec

  View on GitHub
  A rust crate providing a vector like struct that stores data as runs of identical values.
  ☆15Feb 19, 2021Updated 4 years ago
• aiya000 / algebra-with-nico-code

  View on GitHub
  「にこ先輩といっしょに代数！」で使ったコードの実行可能な全文（`stack runghc`）
  ☆14Nov 7, 2018Updated 7 years ago
• jazz-lang / WaffleLink

  View on GitHub
  Runtime with fast GC and easy concurrency.
  ☆43Mar 24, 2021Updated 4 years ago
• pithub / aoc2020

  View on GitHub
  Advent of Code in Roc
  ☆14Feb 16, 2022Updated 3 years ago
• terezka / charts

  View on GitHub
  Make charts! Alpha version.
  ☆15Oct 26, 2021Updated 4 years ago
• bluss / defmac

  View on GitHub
  A macro to define lambda-like macros inline.
  ☆17Sep 8, 2019Updated 6 years ago
• rosefromthedead / effing-mad

  View on GitHub
  Algebraic effects for Rust
  ☆649Jun 30, 2024Updated last year
• probe-rs / log-viewer

  View on GitHub
  View tokio tracing JSON logs interactively and with proper hierarchies
  ☆22Feb 3, 2026Updated last week
• re-xyr / cleff

  View on GitHub
  Fast and concise extensible effects
  ☆109Jun 13, 2023Updated 2 years ago
• ice1000 / arend-io

  View on GitHub
  A toy IO library for Arend
  ☆18Feb 12, 2021Updated 5 years ago
• Centril / refl

  View on GitHub
  Provides a Refl encoding in Rust
  ☆68Apr 6, 2023Updated 2 years ago
• Plutonomicon / plutarch-core

  View on GitHub
  Plutarch 2.0
  ☆19Mar 31, 2025Updated 10 months ago
• jaredramirez / bs-elm

  View on GitHub
  Bindings for mounting and interacting with Elm applications in Reason.
  ☆42Dec 11, 2022Updated 3 years ago
• matklad / drop_bomb

  View on GitHub
  A Rust library for runtime-checked linearish types
  ☆38Jul 24, 2023Updated 2 years ago
• yvt / svgbobdoc

  View on GitHub
  Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.
  ☆22Jan 24, 2026Updated 3 weeks ago
• konn / qualified_do

  View on GitHub
  ☆22Jan 23, 2025Updated last year
• Zettroke / declarative_enum_dispatch

  View on GitHub
  ☆15Feb 6, 2026Updated last week
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• Inokinoki / softfpu-rs

  View on GitHub
  A WIP Float32 soft FPU implementation
  ☆22Jun 25, 2021Updated 4 years ago
• Kixiron / sruth

  View on GitHub
  Sruth Lùbach: A toy optimization engine
  ☆23Jun 7, 2021Updated 4 years ago
• 4lDO2 / real-async-trait-rs

  View on GitHub
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆45Jun 11, 2022Updated 3 years ago
• RocketRace / hoopy

  View on GitHub
  Inline Haskell inside your Python code
  ☆25Jan 13, 2026Updated last month
• yashan-technologies / decimal-rs

  View on GitHub
  High precision decimal
  ☆24May 19, 2023Updated 2 years ago
• fused-effects / fused-effects-lens

  View on GitHub
  Lens combinators for fused-effects.
  ☆17Oct 19, 2020Updated 5 years ago
• bkushigian / cornelius

  View on GitHub
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Jun 14, 2023Updated 2 years ago
• Matechs-Digital / matechs-effect-examples

  View on GitHub
  ☆10Jan 5, 2023Updated 3 years ago
• oskar2517 / microhaskell

  View on GitHub
  Interpreter for a small subset of the Haskell programming language
  ☆16Dec 11, 2025Updated 2 months ago
• hatoo / ash-raytracing-example

  View on GitHub
  An example of KHR raytracing using ash and rust-gpu.
  ☆12Feb 24, 2024Updated last year