Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Search #proof-assistant #marker #type-equality #gadt #const-fn #type-witness

  1. typewit

    type-witness-based abstractions, mostly for emulating polymorphism in const fns

    v1.14.2 563K #const-fn #type-witness #gadt #type-equality #refl

  2. hooo

    Propositional logic with exponentials

    v0.9.0 1.3K #exponential #theorem-assistant #theorem

  3. kind2

    A pure functional functional language that uses the HVM

    v0.3.10 190 #proof-assistant #type-theory #language #proof-language

  4. logicaffeine-kernel

    Pure Calculus of Constructions type theory - NO LEXICON

    v0.6.0 #proof-assistant #theorem-prover #formal-methods #first-order-logic

  5. pyref-core

    Core of the pyref project

    v0.5.8 4.3K #dataframe #fits-file #experiment #glob-pattern #polars

  6. deptypes

    Dependent types

    v0.2.1 #value #d-pair #dependent #term #fin #succ #marker #transmutable #refl #equiv

  7. yatima-core

    The core evaluation, typechecking and content-addressing infrastructure of the Yatima Language

    v0.1.1 #content-addressing #type-checking #vector #nat #expression #compiler-infrastructure #programming-language #norm #datatype #type-system

  8. assert_has_field

    macro for checking if a struct has a specific field

    v0.1.3 #assert #field-type #macro #no-alloc #type

  9. ohnomore

    Transformations for TüBa-D/Z lemmas

    v0.5.0 #lemma #transformation #tü-ba #prefix #forms #machine-learning #marker #lemmatization #reflexive #refl

  10. rustitude-gluex

    GlueX Amplitudes for Rustitude

    v0.6.2 1.8K #rustitude #glue-x #amplitudes #particle-physics #math

  11. refl

    refl encoding which you can use to provide a proof witness that one type is equivalent (identical) to another type. You can use this to encode a subset of what GADTs allow you to in Haskell

    v0.2.1 #type-level #propositional #equality

  12. r_tracer

    A multithreaded, feature-rich ray tracer

    v1.0.4 #ray-tracer #graphics-rendering #3d #3d-rendering

  13. cismute

    Safely transmute type to itself in generic contexts

    v0.1.2 #specialization #transmute #safe

  14. lambek

    Type-Level Programming in Rust

    v0.1.1 #type-level #functional

  15. lightwave-3d

    LightWave 3D Parser

    v1.0.0 #binrw

  16. type-equalities

    Observing type equality with zero-sized proofs

    v0.3.1 100 #zero-sized #equality #refl #coerce #observing #type-eq #coercing #zero-overhead #benchmark

    17. Try searching with DuckDuckGo or on crates.io.

  17. formality

    An efficient programming language featuring formal proofs

    v0.1.11 #proof #variables #programming-language #compiler #smart-contracts #lazy-evaluation #proof-assistant #garbage-collection