-
shape
A portable static type system for JSON-compatible data
-
typeql
Language for Rust
-
ra-ap-rustc_type_ir
Automatically published version of the package
rustc_type_irin the rust-lang/rust repository from commit 878374e07f3bf038c96e94e5bc917471878e4bf6 The publishing script for this crate lives at:… -
gaia-types
盖亚类型
-
starlane
– An Orchestration and Infrastructure Framework for WebAssembly Components (https://starlane.io) This packaged manages
HyperSpacewhich provides infrastructure forSpaceApis… -
conl
post-modern configuration language
-
type-leak
Enable sharing type context beyond crate boundary
-
swamp
script language for embedding
-
dyn_quantity
Representing physical quantities dynamically (i.e. via values, not via the type system)
-
ruuvi-decoders
Ruuvi BLE advertisement decoders for Data Formats v5, v6, and E1
-
grabapl
graph-based programming languages, with pluggable type systems and a focus on visible intermediate states
-
typesafe_builder
A procedural macro to generate type-safe builder patterns for Rust structs
-
rsnark-provers-core
write Zero-Knowledge circuits for multiple prover systems
-
rustorio
first game written and played entirely in Rust's type system. Not just do you play by writing Rust code, the rules of the game are enforced by the Rust compiler! If you can write the…
-
linear_type
Unique linear types for rust
-
value-traits
By-value slices and iterators
-
erg_common
A common components library of Erg
-
roussillon-type-system
A type system for a programming language
-
oak-ocaml
OCaml functional programming language parser with support for modern OCaml features and type system
-
positional
author/parse positional files
-
windows-rpc
Windows RPC for Rust
-
rs-odbc
Minimal safe Rust implementation of ODBC
-
rusttyc
writing type checkers with a lattice-like type system in rust
-
absolute_unit
A unit system for Rust's type system to catch unit errors in your physical calculations
-
microrm
Lightweight ORM using sqlite as a backend
-
jrsonnet-types
Jrsonnet type system definition
-
bronzite
🔮 Compile-time type reflection for Rust - inspect traits, fields, and methods from proc-macros with an ergonomic navigation API
-
openapi-rs
A type-safe Rust client library for building, signing, and sending API requests with minimal boilerplate
-
rsnark-provers-gnark
write Zero-Knowledge circuits for multiple prover systems
-
dyson_boot
Dyson Quick Startup Crate
-
mago-codex
PHP type system representation, comparison logic, and codebase metadata for static analysis
-
vantage
type-safe, ergonomic database toolkit for Rust that focuses on developer productivity without compromising performance. It allows you to work with your database using Rust's strong…
-
octofhir-cql-types
CQL type system
-
mu_lib
XCENA mu Library
-
bronzite-daemon
🔮 Background daemon for Bronzite compile-time reflection - caches rustc compilation for fast type queries
-
bronzite-client
🔮 Client library for querying the Bronzite compile-time reflection daemon from proc-macros
-
arithmetic-typing
Hindley-Milner type inference for arithmetic expressions
-
image-texel
A texel type and allocated buffers suitable for image data
-
yatima-core
The core evaluation, typechecking and content-addressing infrastructure of the Yatima Language
-
drop_guard
enables you to implement the Drop trait on any type. So you can run a closure on any value running out of scope
-
eecee
AST representation and formatter for the C programming language
-
smn_type
A standard, binary optimized type system for Rust
-
checked-rs
encoding validation semantics into the type system
-
type-flow-macros
Macros to make pipelines that encode the order of operation execution in the type signature of the pipeline and allow for functions that mutate that order
-
torii-mailer
Pluggable email system for the torii authentication ecosystem
-
stable-aml
parsing AML, stable rust
-
bronzite-types
🔮 Shared types for Bronzite compile-time reflection IPC protocol
-
unrar_sys
FFI bindings to unrar (with minimal abstractions)
-
rustorio-engine
first game written and played entirely in Rust's type system. Not just do you play by writing Rust code, the rules of the game are enforced by the Rust compiler! If you can write the…
-
swamp-types
types used in Swamp
-
tcrts
Turing complete rust type system
-
polyvalue
A weak-typed analog for rust
-
relend
A generalized reborrowing mechanism that extends beyond simple references. It also allows for implementing traits that work with reborrowing for custom types.
-
secador
Stop repeating code
-
sus-impls
Non-conflicting implementations for optional fields
-
stipe
Set-theoretic structural type system and solver
-
hamelin_lib
Core library for Hamelin query language
-
boost_type_traits
Boost C++ library boost_type_traits packaged using Zanbil
-
tremor-codec
Tremor Script Interpreter
-
parkour
A fast, extensible command-line arguments parser
-
bronzite-query
🔮 Rustc plugin for Bronzite compile-time reflection - extracts type information from Rust code
-
erg_type
APIs for Erg types
-
ellie_parser
Parser for ellie language
-
aimds-core
Core types and abstractions for AI Manipulation Defense System (AIMDS)
-
fenwick-bit-tree
Slighly over-engineered FenwickTree implmentation
-
wander
scripting language
-
zlink-core
The core crate of the zlink project
-
lllllxxxxx
TypeQL Grammar for Rust
-
validity
A type safe wrapper for enforcing arbitrary properties at compile time
-
vtid
generating volatile type IDs
-
ffmpeg-stringify
A small library that allows creation of ffmpeg command string via rust
-
onboard
ticket tracking system
-
sudoku-checker
A sudoku checker only using the type system
-
seedwing-policy-engine
A functional type system for implementing policy inspection, audit and enforcement
-
sark
Asynchronous Rust webKit
-
covalent
name available
-
oters_gui
Graphical library definitions for the oters programming language
-
ferrum
Extensible, Concurrency Focused Web Framework in Rust
-
ferrum_cloud
Pure Rust implementation of Point Cloud Library (PCL)
-
rsnark-core
write Zero-Knowledge circuits for multiple prover systems
-
wrpc-types
wRPC type system
-
yoric/yaiouom-checker
Prototype extension of the Rust type system towards checking units-of-measure
-
noders
NodeJS-like event loop environment for Rust
-
semantics
mapping
-
culsynth
DSP Library
-
tag_password
An advanced Rust library leveraging the type system to statically determine password hashing status for enhanced security
-
openai-func-embeddings
A companion crate for async-openai to ease the composition of function calls by leveraging Rust's type system and enums
-
unit_types
A unit-aware type system for Rust
-
number-types
A typenum clone I made for fun with some positive changes but much fewer features
-
erg_proc_macros
proc macros for Erg
-
osiris-typed
A type context for a virtual machine
-
type-sets
Sets implemented in the rust type-system
-
peano
numbers implemented in Rust's type system. Consider using typenum instead for much faster type-level numbers.
-
discreet
Generate numerical codes from definitions of PDEs and discretisations in the type system
-
actress
actor library for Rust
-
count-to-non-zero
Extends Rust’s Iterator trait to include a
count_to_non_zeromethod, returning an Option<NonZeroUsize> for a more expressive and type-safe way of counting elements. This crate provides… -
zlink-macros
Macros providing the high-level zlink API
-
rsq
A native rust interface for q/kdb+
-
pen-ffi-macro
FFI macro library for Pen programming language
-
styc
Typesystem definition SDK
-
constraint
Easly create types with the guarantees you need
-
conum
big numbers, specified by arbitrary digit widths
-
seximal
(base6) equivalent of Rust's type system
-
mfem-sys
Rust bindings to MFEM
-
atomic-types
Adding explicit type system support for atomic counterparts to primitive types
-
whassap
Ask what's up, get a status back
-
type-flow-proc-macros
The procedural macros that are used to make the declarative macros work
-
wassup
Ask what's up, get a status back
-
whazzup
Ask what's up, get a status back
-
named_params
Fast, simple named parameters for Rust functions
-
bronzite-macros
🔮 Proc-macros for Bronzite compile-time type reflection - inspect traits, fields, and methods at compile time
-
rustyq
A ZeroMQ-compatible library, with an API that takes advantage of Rust's strong type system
-
solana_libra_vm
Libra vm
-
intel82599_hal
An intralingual Hardware Abstraction Layer for the 10 GbE Intel 82599 NIC
-
simpl_actor_macros
tokio actors macros
-
lyte
Rust-like typesystem created for the Lumina project
-
ego_types
ego's base type system
-
bobascript-parser
A parser for the scripting language BobaScript
-
openai-func-enums-macros
A companion crate for async-openai to ease the composition of function calls by leveraging Rust's type system and enums
-
restless-core
Core traits for restless, a crate which allows you to express HTTP requests using the Rust trait system
-
tcrts-macros
Helper macros for tcrts project
-
ethane-types
The type system of ethane with minimal dependencies
-
kailua_check
Type checker for Kailua
-
rustorio-derive
first game written and played entirely in Rust's type system. Not just do you play by writing Rust code, the rules of the game are enforced by the Rust compiler! If you can write the…
-
claudius-derive
derives JsonSchema
-
hacky-types
contains workarounds for rust type system
Try searching with DuckDuckGo.