Centril/refl external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Centril/refl

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Centril/refl)

Close

Centril / reflView on GitHubMore

• External links
• Readme badge

Provides a Refl encoding in Rust

☆69Apr 6, 2023Updated 2 years ago

Alternatives and similar repositories for refl

Users that are interested in refl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• snoyberg / trio

  View on GitHub
  Crazy experiment, ignore unless you know better
  ☆37Jul 5, 2018Updated 7 years ago
• maybevoid / lambek

  View on GitHub
  Type-Level Programming in Rust
  ☆27Dec 29, 2021Updated 4 years ago
• DanielSchuessler / th-expand-syns

  View on GitHub
  Expands type synonyms in Template Haskell ASTs
  ☆11Jan 10, 2026Updated 2 months ago
• 0xd34df00d / can-i-haz

  View on GitHub
  Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
  ☆15Jul 19, 2025Updated 8 months ago
• fmease / tylift

  View on GitHub
  Lift enum variants to the type-level.
  ☆32Mar 13, 2021Updated 5 years ago
• lyphyser / deptypes

  View on GitHub
  ☆17Nov 6, 2025Updated 4 months ago
• jerry73204 / typ

  View on GitHub
  Experimental type level programming in Rust
  ☆41Jul 19, 2021Updated 4 years ago
• matklad / drop_bomb

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

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• iand675 / datadog

  View on GitHub
  Haskell DataDog client library
  ☆19Mar 30, 2022Updated 3 years ago
• anton-k / handle-pattern-servant-app

  View on GitHub
  Handle pattern with servant to build flexible web-apps in Haskell
  ☆16Nov 22, 2022Updated 3 years ago
• digama0 / frat

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago
• tomjaguarpaw / strict-wrapper

  View on GitHub
  ☆21Jul 16, 2025Updated 8 months ago
• pythonesque / dependent_traits

  View on GitHub
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆26Oct 15, 2018Updated 7 years ago
• YuhanLiin / sized-dst

  View on GitHub
  Owned container for dynamically-sized types backed by inline memory
  ☆12Sep 6, 2024Updated last year
• haskell-hvr / text-short

  View on GitHub
  Memory-efficient representation of Unicode text strings
  ☆22Jan 4, 2026Updated 2 months ago
• rust-cv / meetups

  View on GitHub
  ☆16Sep 30, 2021Updated 4 years ago
• pigworker / potato

  View on GitHub
  being an experiment with potato power
  ☆23Jan 14, 2020Updated 6 years ago
• SamuelSchlesinger / stm-incremental

  View on GitHub
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Feb 25, 2026Updated 3 weeks ago
• joshrule / term-rewriting-rs

  View on GitHub
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆29Dec 28, 2021Updated 4 years ago
• fused-effects / fused-effects-lens

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

  View on GitHub
  Type-level named values with partial dependent type support in Rust
  ☆57Apr 18, 2022Updated 3 years ago
• darfink / tap-rs

  View on GitHub
  Generic extensions for tapping values in Rust.
  ☆59Apr 19, 2019Updated 6 years ago
• meoawtistic / ruff

  View on GitHub
  ☆37Jun 14, 2022Updated 3 years ago
• diagrams / monoid-extras

  View on GitHub
  Miscellaneous constructions on monoids
  ☆24Jan 29, 2026Updated last month
• tejas-git64 / LowKey-player

  View on GitHub
  An elegant music player
  ☆13Mar 10, 2026Updated 2 weeks ago
• advancedresearch / prop

  View on GitHub
  Propositional logic with types in Rust
  ☆65Aug 1, 2023Updated 2 years ago
• YongJieYongJie / tree-sitter-solidity

  View on GitHub
  Solidity grammar for tree sitter
  ☆12Mar 12, 2022Updated 4 years ago
• naszam / maker-badges

  View on GitHub
  Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal
  ☆16Sep 17, 2025Updated 6 months ago
• vmchale / rure

  View on GitHub
  Haskell bindings to Rust's regex library
  ☆19Mar 24, 2025Updated last year
• 0xKitsune / openai-rs

  View on GitHub
  A simple and efficient wrapper around the OpenAI API
  ☆29Aug 5, 2024Updated last year
• pete-murphy / purescript-react-tutorial

  View on GitHub
  ☆11Jan 4, 2023Updated 3 years ago
• phadej / overloaded

  View on GitHub
  Overloaded plugin
  ☆31Jun 15, 2024Updated last year
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• fan-tom / liquid-rust

  View on GitHub
  Liquid Types implementation for Rust
  ☆30Sep 30, 2022Updated 3 years ago
• mcschroeder / ttrie

  View on GitHub
  A contention-free STM hash map for Haskell
  ☆14Oct 30, 2021Updated 4 years ago
• typesanitizer / ozil

  View on GitHub
  Browsing man pages and help pages with zero friction.
  ☆36Nov 25, 2018Updated 7 years ago
• hniksic / sendable

  View on GitHub
  Wrapper around Rc safe to send to a different thread
  ☆26Jan 2, 2026Updated 2 months ago
• sentimentxyz / controller

  View on GitHub
  Interaction Controllers for Sentiment
  ☆28Jul 5, 2023Updated 2 years ago