dex-lang
InDex
Documentation
doc/conditionals.dx
Syntax of if expressions
doc/functions.dx
Functions and function types
Examples
examples/mandelbrot.dx
Mandelbrot Set
examples/pi.dx
Monte Carlo Estimates of Pi
examples/sierpinski.dx
Sierpinski Triangle (“Chaos Game”)
examples/rejection-sampler.dx
Rejection Sampler for a Binomial Distribution
examples/regression.dx
Basis Function Regression
examples/brownian_motion.dx
Virtual Brownian Motion and Sheet samplers
examples/particle-swarm-optimizer.dx
Particle Swarm Optimizer
examples/ode-integrator.dx
ODE Integrator
examples/mcmc.dx
Markov Chain Monte Carlo
examples/ctc.dx
Connectionist Temporal Classification
examples/raytrace.dx
Multi-step Ray Tracer
examples/particle-filter.dx
Particle Filter
examples/fluidsim.dx
Fluid Simulation
examples/sgd.dx
Stochastic Gradient Descent with Momentum
examples/nn.dx
Neural Networks
examples/quaternions.dx
Rotations with quaternions
examples/manifold-gradients.dx
Gradients on manifolds
examples/schrodinger.dx
2D Time-Dependent Schrodinger Equation
examples/tutorial.dx
Introduction to Dex
examples/latex.dx
$\href{https://katex.org/}{\KaTeX}$ Rendering Examples
examples/dither.dx
Dither.dx
examples/mcts.dx
Monte Carlo Tree Search
examples/md.dx
Molecular Dynamics in Dex
examples/bfgs.dx
BFGS optimizer
examples/levenshtein-distance.dx
Levenshtein Distance
Libraries
lib/prelude.dx
: The Dex Prelude (automatically imported)
lib/netpbm.dx
Netpbm
lib/sort.dx
Monoidal Merge Sort
lib/parser.dx
Parser Combinators
lib/fft.dx
Fast Fourier Transform
lib/diagram.dx
Vector Graphics
lib/stats.dx
Stats
lib/png.dx
PNG Rendering
lib/plot.dx
Plotting
lib/complex.dx
Complex number support
lib/linalg.dx
Linear Algebra
lib/set.dx
Sets and Set-Indexed Arrays