Pinned Repositories
cell-project
colorz
generic-field-projection
This crate was created to implement the ideas in this RFC #rust-lang/rfcs/2708
generic-vec
lean4-math
ptr-to-field
A proof of concept for the pointer to field idea in Rust
pui
rel-ptr
type-families
vec-utils
RustyYato's Repositories
RustyYato/colorz
RustyYato/lean4-math
RustyYato/vec-option
RustyYato/zfc
RustyYato/abi_stable_crates
Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup.
RustyYato/algebra
RustyYato/bumpme
RustyYato/custom-slice
RustyYato/double-buffer
RustyYato/f32-perf-test
RustyYato/gura-rs-parser
A Gura parser for Rust
RustyYato/init
a fallible in-place-initialization library for Rust
RustyYato/init-v1
RustyYato/init-v2
RustyYato/istr
RustyYato/lang
RustyYato/lean-algebra
RustyYato/lean4
Lean 4 programming language and theorem prover
RustyYato/logos
Create ridiculously fast Lexers
RustyYato/mathlib4
The math library of Lean 4
RustyYato/pi-basic
RustyYato/ptr-tags
RustyYato/rust
Empowering everyone to build reliable and efficient software.
RustyYato/RustyYato.github.io
RustyYato/serde-gura
Strongly typed Gura library for Rust
RustyYato/ssa
RustyYato/test-harness
RustyYato/thin-ptr
RustyYato/typenum
RustyYato/unique-types