google-research/dex-lang

This is stars and forks stats for /google-research/dex-lang repository. As of 29 Apr, 2024 this repository has 1504 stars and 107 forks.

Dex Dex (named for "index") is a research language for typed, functional array processing. The goal of the project is to explore: Type systems for array programming Mathematical program transformations like differentiation and integration User-directed compilation to parallel hardware Interactive and incremental numerical programming and visualization To learn more, check out our paper, our tutorial or these example programs: Dex prelude Mandelbrot set Ray tracer Estimating pi Hamiltonian Monte...