atgeller

Ph.D. student at UBC

University of British Columbia

Pinned Repositories

cpsc411-book
The WIP book for CPSC 411
Language:Racket0 1 00
experimenting-with-redex
A Redex tutorial with a focus on how to do work in Redex
Language:Racket0 1 00
Hanabi-Server
A basic Hanabi rust server and simple Javascript client/UI
Language:Rust0 2 00
liquid-rust
Language:Rust0 1 00
MScThesis
Language:TeX0 3 01
PolyBenchC-4.2.1
Language:WebAssembly0 0 00
qrates
A framework for large scale analysis of the Rust ecosystem.
Language:Jupyter Notebook0 1 00
Wasm-prechk
Index Typed WebAssembly - it works on all machines!
Language:Racket6 4 71
Wasm-Prechk-Artifact
Contains software artifacts, benchmarks, and a dockerfile for Wasm-prechk
Language:Dockerfile1 2 110
WASM-Redex
A model of the WebAssembly language in Redex
Language:Racket20 4 62

atgeller's Repositories

atgeller/WASM-Redex
A model of the WebAssembly language in Redex
Language:Racket20 4 62
atgeller/Wasm-prechk
Index Typed WebAssembly - it works on all machines!
Language:Racket6 4 71
atgeller/Wasm-Prechk-Artifact
Contains software artifacts, benchmarks, and a dockerfile for Wasm-prechk
Language:Dockerfile1 2 110
atgeller/cpsc411-book
The WIP book for CPSC 411
Language:Racket0 1 00
atgeller/experimenting-with-redex
A Redex tutorial with a focus on how to do work in Redex
Language:Racket0 1 00
atgeller/Hanabi-Server
A basic Hanabi rust server and simple Javascript client/UI
Language:Rust0 2 00
atgeller/liquid-rust
Language:Rust0 1 00
atgeller/MScThesis
Language:TeX0 3 01
atgeller/PolyBenchC-4.2.1
Language:WebAssembly0 0 00
atgeller/qrates
A framework for large scale analysis of the Rust ecosystem.
Language:Jupyter Notebook0 1 00
atgeller/spl
Language:HTML1 0
atgeller/wasm-tools
Low level tooling for WebAssembly in Rust
Language:Rust0 0
atgeller/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Language:Rust1 0