Pinned Repositories
cs590-project
gemma.cpp
lightweight, standalone C++ inference engine for Google's Gemma models.
NoAccent
A accent correction app.
swift
The Swift Programming Language
dex-lang
Research language for array processing in the Haskell/ML family
runtime-error-prediction
This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions, and for the Python Runtime Errors (PRE) dataset.
gemma.cpp
lightweight, standalone C++ inference engine for Google's Gemma models.
hylo
The Hylo programming language
swift
Swift for TensorFlow
dan-zheng's Repositories
dan-zheng/swift
The Swift Programming Language
dan-zheng/cs590-project
dan-zheng/gemma.cpp
lightweight, standalone C++ inference engine for Google's Gemma models.
dan-zheng/swift-apis
Swift for TensorFlow Deep Learning Library
dan-zheng/dan-zheng
My profile README
dan-zheng/dex-lang
Research language for array processing in the Haskell/ML family
dan-zheng/dm-haiku
JAX-based neural network library
dan-zheng/effect-handlers-bench
Benchmark repository of polyglot effect handler examples
dan-zheng/flax
Flax is a neural network library for JAX that is designed for flexibility.
dan-zheng/functorch
functorch is a prototype of JAX-like composable function transforms for PyTorch.
dan-zheng/gibbon
A compiler for functional programs on serialized data
dan-zheng/haliax
Named Tensors for Legible Deep Learning in JAX
dan-zheng/ittc
Materials related to the Iowa Type Theory Commute podcast
dan-zheng/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
dan-zheng/levanter
Legibile, Scalable, Reproducible Foundation Models with Named Tensors and Jax
dan-zheng/llvm-hs
Haskell bindings for LLVM
dan-zheng/Lotsawa
A Swift implementation of the MARPA algorithms
dan-zheng/mvs-calculus
Proof of concept compiler for the mvs-calculus
dan-zheng/python-graphs
A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.
dan-zheng/pytorch-examples
A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
dan-zheng/swift-build
Alternate Swift Builds
dan-zheng/swift-evolution
This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
dan-zheng/swift-models
Example models built using Swift for TensorFlow
dan-zheng/SwiftFusion
dan-zheng/t5x
dan-zheng/telamon
A framework to find good combinations of optimizations for computational kernels on GPUs.
dan-zheng/tensorboardx-s4tf
tensorboardX wrapper for Swift for TensorFlow
dan-zheng/tensorflow-swift
Swift for TensorFlow project home page
dan-zheng/val
The val compiler
dan-zheng/val-specification