philip-alldredge

Pinned Repositories

DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript49k 641 8.1k30.2k
AGREE
Assume-Guarantee REasoning Environment
Language:Java13 9 955
osate2
Open Source AADL2 Tool Environment
Language:Java40 10 2k8
AGREE
Assume-Guarantee REasoning Environment
Language:Java0 1 00
android-rs-glue
Glue between Rust and Android
Language:Rust0 1 00
binance-rs
Rust Library for the Binance API
Language:Rust00
DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript00
rls
Repository for the Rust Language Server (aka RLS)
Language:Rust3.5k 80 1k256

philip-alldredge's Repositories

philip-alldredge/AGREE
Assume-Guarantee REasoning Environment
Language:Java0 1 00
philip-alldredge/android-rs-glue
Glue between Rust and Android
Language:Rust0 1 00
philip-alldredge/binance-rs
Rust Library for the Binance API
Language:Rust00
philip-alldredge/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript00