RustyYato's repositories
abi_stable_crates
Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup.
Language:RustApache-2.0000
colorz-eyre
Custom hooks for colorful human oriented error reports via panics and the eyre crate
Language:RustNOASSERTION000
colorz-spantrace
pretty printer for `tracing_error::SpanTrace`
Language:RustNOASSERTION000
Language:Rust000
gura-rs-parser
A Gura parser for Rust
MIT000
Language:Rust000
lean4
Lean 4 programming language and theorem prover
Apache-2.0000
logos
Create ridiculously fast Lexers
Language:RustApache-2.0000
mathlib4
The math library of Lean 4
Apache-2.0000
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000
serde-gura
Strongly typed Gura library for Rust
MIT000