Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: cargo: chalk-ir
Chalk's internal representation of types, goals, and clauses
82 versions
Latest release: 5 months ago
5 dependent packages
2,366,708 downloads total
View more package details: https://packages.ecosyste.ms/registries/crates.io/packages/chalk-ir
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/rust-lang%2Fchalk
Dependent Repos 289
zephaniahong/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
Size: 1.03 GB - Last synced: about 2 months ago - Pushed: about 2 months ago
arceos-org/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
Size: 1.03 GB - Last synced: 6 days ago - Pushed: 6 days ago
BasixKOR/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
- 0.88.0 src/tools/rust-analyzer/Cargo.lock
- 0.88.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 908 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
betrusted-io/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.80.0 compiler/rustc_middle/Cargo.toml
- 0.80.0 compiler/rustc_traits/Cargo.toml
Size: 1.18 GB - Last synced: about 1 month ago - Pushed: about 1 month ago
arcamaxpeptestler-2C/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.76.0 Cargo.lock
- 0.76.0 compiler/rustc_middle/Cargo.toml
- 0.76.0 compiler/rustc_traits/Cargo.toml
Size: 746 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
editso/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.55.0 Cargo.lock
- 0.55.0 compiler/rustc_middle/Cargo.toml
- 0.55.0 compiler/rustc_traits/Cargo.toml
Size: 631 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
Observer42/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.55.0 Cargo.lock
- 0.55.0 compiler/rustc_middle/Cargo.toml
- 0.55.0 compiler/rustc_traits/Cargo.toml
Size: 659 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
njasm/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.55.0 Cargo.lock
- 0.55.0 compiler/rustc_middle/Cargo.toml
- 0.55.0 compiler/rustc_traits/Cargo.toml
Size: 579 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
bhgomes/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.55.0 Cargo.lock
- 0.55.0 compiler/rustc_middle/Cargo.toml
- 0.55.0 compiler/rustc_traits/Cargo.toml
Size: 637 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
brightly-salty/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
- 0.88.0 src/tools/rust-analyzer/Cargo.lock
- 0.88.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 920 MB - Last synced: 9 months ago - Pushed: 9 months ago
pudnax/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.55.0 Cargo.lock
- 0.55.0 compiler/rustc_middle/Cargo.toml
- 0.55.0 compiler/rustc_traits/Cargo.toml
Size: 622 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
afnanenayet/rust Fork of rust-lang/rust
A safe, concurrent, practical language.- 0.55.0 Cargo.lock
- 0.55.0 compiler/rustc_middle/Cargo.toml
- 0.55.0 compiler/rustc_traits/Cargo.toml
Size: 1.18 GB - Last synced: about 2 months ago - Pushed: about 2 months ago
fasterthanlime/rust-analyzer Fork of rust-lang/rust-analyzer
A Rust compiler front-end for IDEs- 0.83.0 Cargo.lock
- 0.83.0 crates/hir-ty/Cargo.toml
Size: 65.2 MB - Last synced: about 1 month ago - Pushed: about 1 year ago
Amanieu/rust Fork of rust-lang/rust
A safe, concurrent, practical language.- 0.76.0 Cargo.lock
Size: 1.17 GB - Last synced: about 1 month ago - Pushed: 2 months ago
iDawer/rust-analyzer Fork of rust-lang/rust-analyzer
A Rust compiler front-end for IDEs- 0.84.0 Cargo.lock
- 0.84.0 crates/hir-ty/Cargo.toml
Size: 55.7 MB - Last synced: 10 months ago - Pushed: about 1 year ago
Nugine/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.88.0 src/tools/rust-analyzer/Cargo.lock
- 0.88.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
- 0.87.0 Cargo.lock
Size: 1020 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
use-ink/ink-playground π¦
Browser Based Playground for editing, sharing & compiling ink! Smart Contracts- 0.81.0 Cargo.lock
Size: 47.6 MB - Last synced: about 1 month ago - Pushed: 4 months ago
jamestiotio/rust-analyzer Fork of rust-lang/rust-analyzer
A Rust compiler front-end for IDEs- 0.93.0 Cargo.lock
Size: 53.8 MB - Last synced: about 1 month ago - Pushed: 8 months ago
evcxr/evcxr
- 0.83.0 Cargo.lock
Size: 1.2 MB - Last synced: about 1 month ago - Pushed: about 2 months ago
FlashSheridan/evcxr Fork of evcxr/evcxr
- 0.88.0 Cargo.lock
Size: 996 KB - Last synced: 8 months ago - Pushed: about 1 year ago
aliemjay/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.80.0 Cargo.lock
- 0.83.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
- 0.83.0 src/tools/rust-analyzer/Cargo.lock
Size: 1.18 GB - Last synced: 2 months ago - Pushed: 2 months ago
AlphaVCat/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
- 0.86.0 src/tools/rust-analyzer/Cargo.lock
- 0.86.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 970 MB - Last synced: 10 months ago - Pushed: over 1 year ago
Swatinem/rust Fork of rust-lang/rust
a safe, concurrent, practical language- 0.87.0 Cargo.lock
- 0.88.0 src/tools/rust-analyzer/Cargo.lock
- 0.88.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 1.19 GB - Last synced: 18 days ago - Pushed: 19 days ago
carbotaniuman/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
- 0.88.0 src/tools/rust-analyzer/Cargo.lock
- 0.88.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 1.2 GB - Last synced: about 5 hours ago - Pushed: about 6 hours ago
max-niederman/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.92.0 src/tools/rust-analyzer/Cargo.lock
- 0.92.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 1.19 GB - Last synced: 10 days ago - Pushed: 11 days ago
cjgillot/rust Fork of rust-lang/rust
A safe, concurrent, practical language.- 0.87.0 Cargo.lock
- 0.88.0 src/tools/rust-analyzer/Cargo.lock
- 0.88.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 1.19 GB - Last synced: about 1 month ago - Pushed: about 1 month ago
rust-analyzer/rust-analyzer-wasm
- 0.72.0 ra-wasm/Cargo.lock
Size: 294 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago
softdevteam/ykrustc π¦
Yorick Meta-tracer- 0.55.0 Cargo.lock
Size: 499 MB - Last synced: about 2 months ago - Pushed: over 2 years ago
dmakarov/rust Fork of anza-xyz/rust
Empowering everyone to build reliable and efficient software.- 0.84.0 src/tools/rust-analyzer/Cargo.lock
- 0.84.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 1.1 GB - Last synced: about 2 months ago - Pushed: 3 months ago
Nilstrieb/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
Size: 1.2 GB - Last synced: about 11 hours ago - Pushed: about 12 hours ago
HolgerGottChristensen/rustc
- 0.87.0 Cargo.lock
- 0.86.0 src/tools/rust-analyzer/Cargo.lock
- 0.86.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 976 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
alvistack/rust-lang-rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.76.0 Cargo.lock
Size: 1.18 GB - Last synced: about 1 month ago - Pushed: about 1 month ago
miraclx/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.87.0 Cargo.lock
- 0.88.0 src/tools/rust-analyzer/Cargo.lock
- 0.88.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 912 MB - Last synced: 9 months ago - Pushed: 9 months ago
notriddle/rust Fork of rust-lang/rust
A safe, concurrent, practical language.- 0.80.0 Cargo.lock
Size: 1.02 GB - Last synced: about 1 year ago - Pushed: about 1 year ago
adpaco-aws/rmc Fork of model-checking/kani
- 0.55.0 Cargo.lock
Size: 611 MB - Last synced: about 14 hours ago - Pushed: 1 day ago
Mu-L/rust-analyzer Fork of rust-lang/rust-analyzer
A Rust compiler front-end for IDEs- 0.88.0 Cargo.lock
- 0.88.0 crates/hir-ty/Cargo.toml
Size: 56.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
VitalyAnkh/rust-analyzer Fork of rust-lang/rust-analyzer
A Rust compiler front-end for IDEs- 0.88.0 Cargo.lock
- 0.88.0 crates/hir-ty/Cargo.toml
Size: 57.2 MB - Last synced: 22 days ago - Pushed: 23 days ago
skyline-rs/rust π¦
Empowering everyone to build reliable and efficient software.- 0.55.0 Cargo.lock
Size: 697 MB - Last synced: over 1 year ago - Pushed: about 2 years ago
orsenkucher/.spacemacs.d
πΈSpace configπ- 0.15.0 home/sources-for-rust-analyzer/Cargo.lock
- 0.15.0 home/sources-for-rust-analyzer/crates/ra_hir_ty/Cargo.toml
Size: 1.56 MB - Last synced: about 2 months ago - Pushed: over 1 year ago
anza-xyz/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.84.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
- 0.84.0 src/tools/rust-analyzer/Cargo.lock
Size: 1.11 GB - Last synced: 21 days ago - Pushed: 3 months ago
rust-lang/rust
- 0.80.0 Cargo.lock
- 0.83.0 src/tools/rust-analyzer/Cargo.lock
- 0.83.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Last synced: 12 months ago
yhm-amber/rust
- 0.80.0 Cargo.lock
- 0.83.0 src/tools/rust-analyzer/Cargo.lock
- 0.83.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Last synced: over 1 year ago
rusttutor/rust-lang/rust
Fork of https://github.com/rust-lang/rust- 0.80.0 Cargo.lock
- 0.83.0 src/tools/rust-analyzer/Cargo.lock
- 0.83.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Last synced: over 1 year ago
franklucky001/rust-analyzer Fork of rust-lang/rust-analyzer
A Rust compiler front-end for IDEs- 0.88.0 Cargo.lock
- 0.88.0 crates/hir-ty/Cargo.toml
Size: 56.3 MB - Last synced: 10 months ago - Pushed: 10 months ago
rust-lang/rust-analyzer
A Rust compiler front-end for IDEs- 0.88.0 crates/hir-ty/Cargo.toml
- 0.88.0 Cargo.lock
Size: 66.8 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
clown-team/rust Fork of rust-lang/rust
Empowering everyone to build reliable and efficient software.- 0.80.0 Cargo.lock
- 0.84.0 src/tools/rust-analyzer/Cargo.lock
- 0.84.0 src/tools/rust-analyzer/crates/hir-ty/Cargo.toml
Size: 932 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
lightmelodies/rust-analyzer Fork of rust-lang/rust-analyzer
An experimental Rust compiler front-end for IDEs- 0.75.0 Cargo.lock
Size: 59.5 MB - Last synced: 3 months ago - Pushed: 5 months ago