Anjiang-Wei's repositories
Language:Python000
Language:C++NOASSERTION000
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Language:PythonNOASSERTION000
DALA
EMBER Python scripts for post-silicon validation and testing via SPI
Language:Jupyter NotebookMIT000
000
flink
Apache Flink
Language:JavaApache-2.0000
HTR-solver
Hypersonic Task-based Research (HTR) solver for the Navier-Stokes equations at hypersonic Mach numbers including finite-rate chemistry for dissociating air and multicomponent transport.
Language:C++NOASSERTION000
Language:TeXApache-2.0000
legion.stanford.edu
Legion home page
Language:Python000
joey
baby quokka
Language:PythonNOASSERTION000
Megatron-LM
Ongoing research training transformer models at scale
Language:PythonNOASSERTION000
nccl
Optimized primitives for collective multi-GPU communication
Language:C++NOASSERTION000
nccl-tests
NCCL Tests
BSD-3-Clause000
Language:C++000
Language:Rouge000
regent.vim
Unofficial syntax highlighting for Regent (regent-lang.org)
000