crates.io "refinement" keyword
inkspect 0.4.0
A CLI tool to streamline your LLM workflow by bringing prompt refinement and generation directly ...10 versions - Latest release: 9 months ago - 3.29 thousand downloads total - 0 stars on GitHub - 1 maintainer
bounded-integer 0.6.1
Bounded integers19 versions - Latest release: 6 months ago - 19 dependent packages - 10 dependent repositories - 742 thousand downloads total - 37 stars on GitHub - 2 maintainers
bounded-integer-macro 0.6.0
Proc macro for `bounded-integer`. Do not use directly.13 versions - Latest release: 9 months ago - 1 dependent package - 3 dependent repositories - 68.6 thousand downloads total - 37 stars on GitHub - 1 maintainer
refinement-types 0.3.0 💰
Refinement types.4 versions - Latest release: about 1 year ago - 2.65 thousand downloads total - 1 stars on GitHub - 1 maintainer
stilltypes 0.2.0
Domain-specific refined types for the Rust and Stillwater ecosystem2 versions - Latest release: 4 months ago - 26 downloads total - 1 maintainer
nlsn-delaunay 0.1.1
Delaunay Triangulation and Refinement implementation through Bowyer Watson incremental insertion,...2 versions - Latest release: almost 6 years ago - 2.95 thousand downloads total - 12 stars on GitHub - 1 maintainer
ranged_integers 0.11.0
An integer restricted to a compile-time defined bounds driven by const generics15 versions - Latest release: 3 months ago - 15.6 thousand downloads total - 28 stars on GitHub - 1 maintainer
loom-lang 0.1.0
Loom — a programming language for safe-by-construction software. Recipes with first-class effects...1 version - Latest release: 16 days ago - 0 downloads total - 1 maintainer
witnessed 0.7.0
Type-level witness wrapper for carrying validated invariants.9 versions - Latest release: about 2 months ago - 213 downloads total - 1 stars on GitHub - 1 maintainer
faux-refine-core 0.2.1
Core traits and types for pseudo-Refinement Types.3 versions - Latest release: about 2 months ago - 66 downloads total - 0 stars on GitHub - 1 maintainer
faux-refine-derive 0.2.1
Derive macros for faux-refine. Automatically implements Pred.3 versions - Latest release: about 2 months ago - 62 downloads total - 0 stars on GitHub - 1 maintainer
faux-refine 0.2.1
A crate that implements a pseudo-Refinement Type in Rust.3 versions - Latest release: about 2 months ago - 45 downloads total - 0 stars on GitHub - 1 maintainer
functora-tagged 0.2.1
Lightweight, macro-free newtypes with refinement and derived traits.11 versions - Latest release: 2 months ago - 206 downloads total - 1 maintainer
Related Keywords
newtype
5
validation
5
faux-refine
3
integer
3
bounded
3
macro
2
tagged
1
derive
1
invariants
1
typestate
1
dsl
1
language
1
compiler
1
effects
1
nightly
1
bowyer-watson
1
delaunay
1
incremental
1
triangulation
1
types
1
stillwater
1
domain
1
type
1
modular
1
prompt-engineering
1
llm
1
editor
1
cli
1