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

• 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
• fmease / tylift

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

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

  View on GitHub
  Asynchronous pipelines of contiguous data, for rust.
  ☆18Oct 9, 2023Updated 2 years ago
• Centril / refl

  View on GitHub
  Provides a Refl encoding in Rust
  ☆68Apr 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
• maybevoid / lambek

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

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

  View on GitHub
  Diver decompression library
  ☆11Aug 25, 2021Updated 4 years ago
• justinwoo / purescript-xstream

  View on GitHub
  A Purescript interface to xstream
  ☆11Nov 11, 2017Updated 8 years ago
• Matechs-Digital / matechs-effect-examples

  View on GitHub
  ☆10Jan 5, 2023Updated 3 years ago
• pete-murphy / purescript-react-tutorial

  View on GitHub
  ☆11Jan 4, 2023Updated 3 years ago
• mgeier / rsor

  View on GitHub
  Reusable slice of references
  ☆11Dec 18, 2025Updated 2 months ago
• oppiliappan / lotus

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

  View on GitHub
  Opinionated CLI (with shell) framework in rust
  ☆33Sep 11, 2023Updated 2 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
• darakian / gimli

  View on GitHub
  A pure rust implementation of the gimli cipher
  ☆13Jan 26, 2022Updated 4 years ago
• nox / rayon_croissant

  View on GitHub
  <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐
  ☆14Dec 12, 2019Updated 6 years ago
• dylni / quit

  View on GitHub
  Exit cleanly with an exit code.
  ☆13Sep 8, 2023Updated 2 years ago
• GuyL99 / metropolis

  View on GitHub
  ☆14Mar 1, 2020Updated 6 years ago
• mpdn / disjoint-borrow

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

  View on GitHub
  A small, pragmatic, and flexible async HTTP server library, in Rust
  ☆11Jan 1, 2021Updated 5 years ago
• micouy / p-arse

  View on GitHub
  the inelegant parser
  ☆13Dec 28, 2021Updated 4 years ago
• HindrikStegenga / Shard

  View on GitHub
  Shard is an Archetype-based Entity Component System implemented in Rust.
  ☆12Sep 12, 2023Updated 2 years ago
• chris-morgan / phantom-enum

  View on GitHub
  A simple macro library for creating phantom enums. Just simple sugar.
  ☆14Jun 8, 2016Updated 9 years ago
• mystor / ctrs

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

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

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

  View on GitHub
  SDL example using Rust on RetroFW 2 (RG-300, possible RS-97, Retro Arcade Mini, LDK)
  ☆12Feb 15, 2022Updated 4 years ago
• aetilley / harrison-rust

  View on GitHub
  Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)
  ☆21May 21, 2025Updated 9 months ago
• Lucretiel / standard-dist

  View on GitHub
  An attribute macro for creating a `Standard` distribution for rust types
  ☆17May 18, 2021Updated 4 years ago
• ss7m / motsu

  View on GitHub
  A simple image viewer and cropper
  ☆14Apr 22, 2022Updated 3 years ago
• sflanaga / csv-groupby

  View on GitHub
  Do select-group-by on csv and other text files
  ☆14Apr 23, 2022Updated 3 years ago
• lunemec / rust-birkana

  View on GitHub
  Birkana SVG generator.
  ☆13Feb 25, 2019Updated 7 years ago
• HindrikStegenga / const-fnv1a-hash

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

  View on GitHub
  enforce representation/class invariants in your Rust data structures
  ☆12Feb 11, 2023Updated 3 years ago
• IncSW / geoip2-rs

  View on GitHub
  Fast GeoIP2 Reader for Rust
  ☆34Feb 20, 2026Updated last week