profile
viewpoint

rust-lang/chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

rust-lang

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

nikomatsakis
jackh726
detrumi
nathanwhit
super-tuple
flodiebold
scalexm
Mcat12
Areredify
sunjay
tmandry
yaahc
memoryleak47
withoutboats
fabric-and-ink
leoyvens
crlf0710
bors
zaharidichev
aturon
Aaron1011
guanqun
hashedone
MarkMcCaskey
declanvk
lnicola
adamrk
matklad
KiChjang
olegshtch
pksunkara
memoryruins
aatxe
tirr-c
ljedrz
marmeladema
voidc
aravind-pg
daboross
eddyb
mikeyhew
Michael-F-Bryan
pietroalbini
lcnr
Mark-Simulacrum
Phlosioneer
tweerwag
krk
pcpthm
varkor
lqd
cramertj
alexcrichton
chrissimpkins
dlrobertson
yellowsquid
JoshMcguigan
cuviper
mvaled
matthewjasper
doctorn
pygy
sinkuu
taiki-e
Y-Nak
JohnTitor
gnzlbg
DustinByfuglien