Type derivation for foreign use
PROST! a Protocol Buffers implementation for the Rust Language
Inherit and derive object-unsafe traits for dynamic rust.
A permissive Rust Parser for Rust Tooling written in Typescript
Implementation of System CT in Rust. Refer "Type Inference for Overloading without Restrictions,...
Your favourite Haskell type classes for Rust
Rust symbol demangling
A rust proc-macro to generate conversions for an enum of newtype variants
Descriptor is a spec-style test structuring library for rust
🦀 Learning Rust
Generates TypeScript bincode serialisation code from Rust structs and enums
This crate provides macros for deriving additional functionality for newtypes.
a model of MIR and the Rust type/trait system
Build database expression type checker and vectorized runtime executor in type-safe Rust
An implementation of the Hindley-Milner type system in Rust.