typic

Type-safe transmutations between layout-compatible types. (by jswrenn)
Add to my DEV experience Rust zero-cost-abstraction safe-abstraction Transmute

DISCONTINUED

Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Typic Alternatives

Similar projects and alternatives to typic

  • chalk

    25 typic VS chalk

    An implementation and definition of the Rust trait system using a PROLOG-like logic solver (by rust-lang)

  • frunk

    7 typic VS frunk

    Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • tyrade

    5 typic VS tyrade

    A pure functional language for type-level programming in Rust

  • alacritty

    352 typic VS alacritty

    A cross-platform, OpenGL terminal emulator.

  • tauri

    470 typic VS tauri

    Build smaller, faster, and more secure desktop applications with a web frontend.

  • rust

    2,685 typic VS rust

    Empowering everyone to build reliable and efficient software.

  • deno

    448 typic VS deno

    A modern runtime for JavaScript and TypeScript.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better typic alternative or higher similarity.
Suggest an alternative to typic

typic reviews and mentions

Posts with mentions or reviews of typic. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-02-23.
  • Generalizing over Generics in Rust (Part 1.5): Mechanisms
    3 projects | /r/rust | 23 Feb 2021
    Seconding this! This is the approach I took while developing typic, a library that models Rust's repr(C) layout algorithm at a type-level. I would first sketch out my ideas in prolog, then translate that Prolog fairly mechanically to trait impls. I even started automating this translation. (The tricky bit is that you really need to strictly limit yourself to a subset of prolog, and maintain a fairly rigid style discipline, too.)
  • Generic associated types encode higher-order functions on types
    3 projects | /r/rust | 4 Jan 2021
    I'd like to try to rewrite typic with tyrade, but I'd need to first swap out tyrade's peano-arithmetic number system for typenum's binary-arithmetic system.

Stats

Basic typic repo stats
2
119
0.0
over 3 years ago

jswrenn/typic is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of typic is Rust.

Popular Comparisons

  1. typic VS frunk
  2. typic VS alacritty
  3. typic VS tyrade
  4. typic VS chalk
  5. typic VS tauri
  6. typic VS rust
  7. typic VS deno

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com