jerry73204/typ 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

jerry73204/typ

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/jerry73204/typ)

Close

jerry73204 / typView on GitHubMore

• External links
• Readme badge

Experimental type level programming in Rust

☆41Jul 19, 2021Updated 4 years ago

Alternatives and similar repositories for typ

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

• jerry73204 / rust-type-freak

  View on GitHub
  Collection of typed data structures, trait operators and aliases
  ☆51Sep 27, 2020Updated 5 years ago
• rodrimati1992 / type_level

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

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

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

  View on GitHub
  Reusable slice of references
  ☆11Mar 2, 2026Updated 3 weeks ago
• yasammez / nachricht

  View on GitHub
  A self-describing data interchange format
  ☆76Mar 26, 2022Updated 3 years ago
• Centril / refl

  View on GitHub
  Provides a Refl encoding in Rust
  ☆69Apr 6, 2023Updated 2 years ago
• kmcallister / azurescens

  View on GitHub
  Renders interactive fractal-like animations
  ☆19May 16, 2017Updated 8 years ago
• willcrichton / tyrade

  View on GitHub
  A pure functional language for type-level programming in Rust
  ☆338Nov 12, 2022Updated 3 years ago
• sdleffler / type-operators-rs

  View on GitHub
  A macro for defining type operators in Rust.
  ☆65Mar 16, 2017Updated 9 years ago
• Matechs-Digital / matechs-effect-examples

  View on GitHub
  ☆10Jan 5, 2023Updated 3 years ago
• calebzulawski / rivulet

  View on GitHub
  Asynchronous pipelines of contiguous data, for rust.
  ☆18Oct 9, 2023Updated 2 years ago
• ilammy / fluid-let

  View on GitHub
  Dynamically scoped variables in Rust
  ☆11Oct 12, 2021Updated 4 years ago
• scanner-research / esper

  View on GitHub
  Query, analysis, and visualization of large video collections
  ☆10Dec 9, 2022Updated 3 years ago
• inc-lc / ilc-scala

  View on GitHub
  Scala implementation of ILC, with benchmarks
  ☆27Jul 5, 2016Updated 9 years ago
• maybevoid / mononym

  View on GitHub
  Type-level named values with partial dependent type support in Rust
  ☆57Apr 18, 2022Updated 3 years ago
• pete-murphy / purescript-react-tutorial

  View on GitHub
  ☆11Jan 4, 2023Updated 3 years ago
• brendanzab / moniker

  View on GitHub
  Automagical variable binding library for Rust
  ☆68Oct 4, 2019Updated 6 years ago
• brownsys / paralegal

  View on GitHub
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆47Feb 20, 2026Updated last month
• wbolster / evil-swap-keys

  View on GitHub
  intelligently swap keys in emacs evil-mode
  ☆21Feb 8, 2022Updated 4 years ago
• maybevoid / lambek

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

  View on GitHub
  Cast between trait objects using only safe Rust.
  ☆17Dec 10, 2024Updated last year
• nisembedded / avra-rs

  View on GitHub
  Assembler for Microchip AVR Microcontroller family (similar to Atmel)
  ☆24Nov 15, 2024Updated last year
• aetilley / harrison-rust

  View on GitHub
  Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)
  ☆21May 21, 2025Updated 10 months ago
• joseph-gio / type-cli

  View on GitHub
  ☆13Dec 13, 2020Updated 5 years ago
• robsimmons / abbot

  View on GitHub
  Generation of abstract binding trees
  ☆27Sep 26, 2025Updated 5 months ago
• slightlyoutofphase / staticstep

  View on GitHub
  Provides truly zero-cost alternatives to Iterator::step_by for both incrementing and decrementing any type that satisfies RangeBounds<T: …
  ☆13Jan 5, 2022Updated 4 years ago
• IncSW / geoip2-rs

  View on GitHub
  Fast GeoIP2 Reader for Rust
  ☆34Feb 20, 2026Updated last month
• lyphyser / deptypes

  View on GitHub
  ☆17Nov 6, 2025Updated 4 months ago
• tsoding / nonrec-invert-binary-tree-rust

  View on GitHub
  Non-Recursive Inverting of Binary Tree in Rust
  ☆20Oct 7, 2021Updated 4 years ago
• weiznich / rust-foundation-community-grant

  View on GitHub
  ☆20Sep 30, 2022Updated 3 years ago
• kenkendk / sme

  View on GitHub
  Synchronous Message Exchange
  ☆11Feb 3, 2026Updated last month
• mpdn / disjoint-borrow

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

  View on GitHub
  Инструмент для подсчета статистики использования клавиатуры на QMK
  ☆17Mar 3, 2020Updated 6 years ago
• cvc5 / LFSC

  View on GitHub
  LFSC Proof Checker
  ☆11Sep 14, 2023Updated 2 years ago
• oppiliappan / lotus

  View on GitHub
  simple money and number formatting for rust
  ☆28Apr 27, 2019Updated 6 years ago
• mystor / ctrs

  View on GitHub
  watt-based inline procedural macros
  ☆14Jul 17, 2020Updated 5 years ago
• vojtechkral / tokio-tasker

  View on GitHub
  ☆12Mar 19, 2022Updated 4 years ago
• HindrikStegenga / const-fnv1a-hash

  View on GitHub
  Const FNV1A hashing implementation.
  ☆15Aug 13, 2022Updated 3 years ago