Adam T. Geller (@atgeller)
github

atgeller

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    27
  • Global Rank 520,276 (Top 19 %)
  • Followers 4
  • Registered about 7 years ago
  • Most used languages
    Racket
         66.7 %
    Dockerfile
         33.3 %

Top repositories

1

WASM-Redex

A model of the WebAssembly language in Redex
Racket
20
star
2

Wasm-prechk

Index Typed WebAssembly - it works on all machines!
Racket
6
star
3

Wasm-Prechk-Artifact

Contains software artifacts, benchmarks, and a dockerfile for Wasm-prechk
Dockerfile
1
star