Alternatives and similar repositories for reffect:

Users that are interested in reffect are comparing it to the libraries listed below

• TOETOE55 / lens-rs
  lens implemented in rust
  ☆114Updated last year
• running-grass / idris2-tutorial-zh
  通过weblate翻译idris2教程
  ☆12Updated 5 months ago
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated last month
• ygg-lang / yggdrasil.rs
  yggdrasil compiler with rust runtime
  ☆23Updated last year
• SchrodingerZhu / paguroidea
  A reimplementation of the Flap parser in Rust (with our own modifications applied)!
  ☆53Updated 11 months ago
• wusyong / elise
  A concurrent GC.
  ☆43Updated 2 years ago
• crlf0710 / repository-rs
  Repository of all kinds of entities.
  ☆14Updated 2 years ago
• oliver-giersch / closure
  A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.
  ☆40Updated 2 years ago
• oooutlk / structx
  Anonymous struct and named arguments in Rust.
  ☆72Updated last year
• pest-parser / intellij-pest
  pest grammar file support for all JetBrains IDEs
  ☆36Updated last year
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆41Updated 8 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• rami3l / plfl
  Learn Lean 4 with PLFA proofs.
  ☆58Updated 11 months ago
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆121Updated last month
• alecdotninja / tailcall
  Safe, zero-cost tail recursion for stable Rust
  ☆158Updated 5 months ago
• yuyan-lang / yuyan
  豫言
  ☆27Updated 5 months ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆117Updated 4 years ago
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆59Updated last week
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆96Updated 2 months ago
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆12Updated last year
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆93Updated last week
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆97Updated 4 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• jneem / imbl
  Blazing fast immutable collection datatypes for Rust.
  ☆100Updated last week
• pandaman64 / effective-rust
  ☆150Updated 5 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆94Updated this week