Pinned Repositories
Anjiang-RRAM-Python
boogie
Boogie
CME213
CustomLegionSpy
cutlass
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
dafny
Dafny is a verification-aware programming language
DALA
EMBER Python scripts for post-silicon validation and testing via SPI
TuscanSquare
Anjiang-Wei's Repositories
Anjiang-Wei/PBA
EMBER Python scripts for post-silicon validation and testing via SPI
Anjiang-Wei/Anjiang-RRAM-Python
Anjiang-Wei/CME213
Anjiang-Wei/CustomLegionSpy
Anjiang-Wei/cutlass
Anjiang-Wei/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Anjiang-Wei/cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Anjiang-Wei/DALA
EMBER Python scripts for post-silicon validation and testing via SPI
Anjiang-Wei/DLB
Anjiang-Wei/DSLMapper
Anjiang-Wei/DSLMapperExp
Anjiang-Wei/flink
Apache Flink
Anjiang-Wei/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.
Anjiang-Wei/LearnLegion
Anjiang-Wei/legion
The Legion Parallel Programming System
Anjiang-Wei/legion-manual
Anjiang-Wei/legion.stanford.edu
Legion home page
Anjiang-Wei/EquivalenceSet
Anjiang-Wei/joey
baby quokka
Anjiang-Wei/Megatron-LM
Ongoing research training transformer models at scale
Anjiang-Wei/nccl
Optimized primitives for collective multi-GPU communication
Anjiang-Wei/nccl-tests
NCCL Tests
Anjiang-Wei/optimaldistribution
Anjiang-Wei/OptimalDistributionExp
Anjiang-Wei/pandas
Anjiang-Wei/perfbench
Anjiang-Wei/playground
Anjiang-Wei/regent.vim
Unofficial syntax highlighting for Regent (regent-lang.org)
Anjiang-Wei/taco
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
Anjiang-Wei/testkafka