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
• nikomatsakis / rust-name-resolution-algorithm

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

  View on GitHub
  Happy Little Decision Tree
  ☆16Jan 12, 2018Updated 8 years ago
• hdevalence / text_tree

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

  View on GitHub
  Copying Garbage Collector
  ☆14May 13, 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
• jazz-lang / WaffleLink

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

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

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

  View on GitHub
  Advent of Code in Roc
  ☆14Feb 16, 2022Updated 3 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
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• Zettroke / declarative_enum_dispatch

  View on GitHub
  ☆15Feb 6, 2026Updated last week
• 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
• yashan-technologies / decimal-rs

  View on GitHub
  High precision decimal
  ☆24May 19, 2023Updated 2 years ago
• RocketRace / hoopy

  View on GitHub
  Inline Haskell inside your Python code
  ☆25Jan 13, 2026Updated last month
• well-typed / memory-profiling-webinar

  View on GitHub
  Source code for the memory profiling webinar livestreamed at Dec 1, 2022
  ☆13Dec 2, 2022Updated 3 years ago
• hatoo / ash-raytracing-example

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

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago
• Matechs-Digital / matechs-effect-examples

  View on GitHub
  ☆10Jan 5, 2023Updated 3 years ago
• ekmett / indexed

  View on GitHub
  Indexed Functors for GHC 7.6
  ☆22Aug 20, 2019Updated 6 years ago
• sdleffler / whisper

  View on GitHub
  Logic programming, for Rust, from inside Rust.
  ☆44Mar 6, 2020Updated 5 years ago
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago