eliotmoss

University of Massachusetts Amherst, School of Computer ScienceAmherst, MA 01003, USA

Pinned Repositories

meetings
WebAssembly meetings (VC or in-person), agendas, and notes
Language:HTML00
umass-cics-ais
UMass Computer and Information Sciences Antarctic Ice Sheet modeling
00
gem5
The official repository for the gem5 computer-system architecture simulator.
Language:C++1.7k 71 3371.2k
microvm-spec
We have moved: https://gitlab.anu.edu.au/mu/mu-spec
Language:C26 14 13
virgil
A fast and lightweight native programming language
Language:Shell1.2k 22 8645
cache-miss-rate-dataset
1 3 00
demo-tags
0 2 00
HOL4-safe-machine-learning
HOL4 scripts (proofs) related to the safe machine learning project
Language:Standard ML0 2 00
persistent-mu
Stores code, data, for the Persistent Mu project, which aims to provide flexible language-independent run-time support for persistence in managed languages (languages with automatic storage management, threads, etc.)
1 2 00
meetings
WebAssembly meetings (VC or in-person), agendas, and notes
Language:HTML464 136 84146

eliotmoss's Repositories

eliotmoss/meetings
WebAssembly meetings (VC or in-person), agendas, and notes
Language:HTML00
eliotmoss/umass-cics-ais
UMass Computer and Information Sciences Antarctic Ice Sheet modeling
00