Popular repositories Loading
-
cti-ml-smt
cti-ml-smt PublicConcrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Python 1
-
-
Onward-Intrepydd
Onward-Intrepydd PublicIntrepydd compiles Python code with type annotations to optimized C++ code.
Python
-
Repositories
Showing 7 of 7 repositories
- APPy Public
APPy (Annotated Parallelism for Python) enables users to annotate loops and tensor expressions in Python with compiler directives akin to OpenMP, and automatically compiles the annotated code to GPU kernels.
habanero-lab/APPy’s past year of commit activity - ast-transforms Public
habanero-lab/ast-transforms’s past year of commit activity - triangle-counting-sc23 Public
habanero-lab/triangle-counting-sc23’s past year of commit activity - cti-ml-smt Public
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
habanero-lab/cti-ml-smt’s past year of commit activity
