-
AionUrbanStudies Public
A Transformer Language Model-based Topic Analysis tool
-
-
-
cudaImageProcessing Public
Forked from PascaleCourseraCourses/CUDAatScaleForTheEnterpriseCourseProjectTemplateThis is the course project for the CUDA at Scale for the Enterprise
C++ GNU General Public License v3.0 UpdatedMar 19, 2024 -
urban_narratives Public
Urban Narrative - AI Augmented Approach to Identify Shared Ideas from Large Format Public Consultation
-
LeanDojo Public
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Python MIT License UpdatedJul 10, 2023 -
jax Public
Forked from jax-ml/jaxComposable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Python Apache License 2.0 UpdatedJun 23, 2023 -
xla Public
Forked from openxla/xlaA machine learning compiler for GPUs, CPUs, and ML accelerators
C++ Apache License 2.0 UpdatedJun 14, 2023 -
Portal-to-ISAbelle Public
Forked from albertqjiang/Portal-to-ISAbellehttps://albertqjiang.github.io/Portal-to-ISAbelle/
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 31, 2023 -
cuda-training-series Public
Forked from olcf/cuda-training-seriesTraining materials associated with NVIDIA's CUDA Training Series (www.olcf.ornl.gov/cuda-training-series/)
Cuda UpdatedApr 4, 2022 -
WhileyOpenCL Public
Aims to produce efficient implemtation for verification friendly Whiley programs.
-
image-processing Public
Forked from sulavvr/image-processingImage Processing using CUDA (C++ & Python)
Cuda UpdatedDec 10, 2016 -
Whiley2APRON Public archive
This is a simple project to check whether APRON library can be used to check Whiley programs.
UpdatedAug 3, 2015 -
WhileyCompiler Public
Forked from Whiley/WhileyCompilerThe Whiley Compiler (WyC)
Java Other UpdatedDec 15, 2014 -
-
-
beyondtransparency Public
Forked from codefortomorrow/beyondtransparencyCode for America's new book - Beyond Transparency 📕
CSS Other UpdatedJan 5, 2014
{{ message }}