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

☆68Apr 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

• fmease / tylift

  View on GitHub
  Lift enum variants to the type-level.
  ☆32Mar 13, 2021Updated 4 years ago
• digama0 / frat

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago
• matklad / drop_bomb

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

  View on GitHub
  Experimental type level programming in Rust
  ☆41Jul 19, 2021Updated 4 years ago
• rust-cv / meetups

  View on GitHub
  ☆16Sep 30, 2021Updated 4 years ago
• maybevoid / lambek

  View on GitHub
  Type-Level Programming in Rust
  ☆27Dec 29, 2021Updated 4 years ago
• pythonesque / dependent_traits

  View on GitHub
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Oct 15, 2018Updated 7 years ago
• snoyberg / trio

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

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

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• tomjaguarpaw / strict-wrapper

  View on GitHub
  ☆21Jul 16, 2025Updated 7 months ago
• meoawtistic / ruff

  View on GitHub
  ☆37Jun 14, 2022Updated 3 years ago
• darfink / tap-rs

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

  View on GitHub
  Haskell-style monads in Rust.
  ☆27May 25, 2023Updated 2 years ago
• gtestault / primitive-recursive-functions

  View on GitHub
  Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
  ☆40Dec 13, 2018Updated 7 years ago
• pigworker / potato

  View on GitHub
  being an experiment with potato power
  ☆23Jan 14, 2020Updated 6 years ago
• paritytech / rw-stream-sink

  View on GitHub
  Adaptator between Stream/Sink and AsyncRead/AsyncWrite
  ☆12Feb 5, 2022Updated 4 years ago
• Zekt / Type-Embellishment

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

  View on GitHub
  Convenient creation of type-safe refinement types.
  ☆23Jul 30, 2024Updated last year
• sentimentxyz / controller

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

  View on GitHub
  Wrapper around Rc safe to send to a different thread
  ☆26Jan 2, 2026Updated 2 months ago
• cecton / cargo-firstpage

  View on GitHub
  Shows only the first page of rustc output
  ☆11May 21, 2025Updated 9 months ago
• voodoos / mlts

  View on GitHub
  ☆12Dec 9, 2022Updated 3 years ago
• Lysxia / profunctor-monad

  View on GitHub
  Bidirectional programming in Haskell with monadic profunctors
  ☆49May 17, 2022Updated 3 years ago
• pete-murphy / purescript-react-tutorial

  View on GitHub
  ☆11Jan 4, 2023Updated 3 years ago
• fused-effects / fused-effects-lens

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

  View on GitHub
  Numerical snippets & tests
  ☆12Jan 5, 2026Updated last month
• YongJieYongJie / tree-sitter-solidity

  View on GitHub
  Solidity grammar for tree sitter
  ☆12Mar 12, 2022Updated 3 years ago
• sliminality / nix-config

  View on GitHub
  my nix-darwin config
  ☆13Feb 24, 2026Updated last week
• SamuelSchlesinger / generic-match

  View on GitHub
  An implementation of first-class pattern matches in Haskell.
  ☆13Feb 25, 2026Updated last week
• SamuelSchlesinger / stm-incremental

  View on GitHub
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Feb 25, 2026Updated last week
• rodrimati1992 / type_level

  View on GitHub
  Libraries for declaring and using type-level values.
  ☆11Mar 28, 2019Updated 6 years ago
• phadej / hooglite

  View on GitHub
  Alternative and lite implementation of Hoogle
  ☆11Apr 9, 2024Updated last year
• jam1garner / nail

  View on GitHub
  A vim-inspired hex editor written in rust
  ☆25Feb 20, 2022Updated 4 years ago
• Happstack / boomerang

  View on GitHub
  Library for invertible parsing and printing
  ☆33Aug 25, 2025Updated 6 months ago
• phadej / overloaded

  View on GitHub
  Overloaded plugin
  ☆31Jun 15, 2024Updated last year
• 0xKitsune / openai-rs

  View on GitHub
  A simple and efficient wrapper around the OpenAI API
  ☆29Aug 5, 2024Updated last year
• bodil / higher

  View on GitHub
  Your favourite Haskell type classes for Rust
  ☆265Apr 13, 2023Updated 2 years ago
• mpdn / disjoint-borrow

  View on GitHub
  Disjoint borrow of slices in Rust
  ☆11Sep 1, 2019Updated 6 years ago