Tokamax: A GPU and TPU kernel library.

aider is AI pair programming in your terminal

A python CAD programming library

A strongly-typed language that compiles to JavaScript

Backward compatible ML compute opset inspired by HLO/MHLO

An introduction to functional programming for scalable statistical computing

Automatic verification of LLVM optimizations

A programming project on automatic differentiation in OCaml

Development repository for the Triton language and compiler

Lean 4 programming language and theorem prover

Bayesian inference for a logistic regression model in various languages

jax-triton contains integrations between JAX and OpenAI Triton

pretty-printer for Haskell data types that have a Show instance

Research language for array processing in the Haskell/ML family

Haskell API search engine

The Brown Benchmark for Table Types (B2T2)

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

A retargetable MLIR-based machine learning compiler and runtime toolkit.

Live Python Notebooks with any Editor

Declarative visualization library for Python

Shake build system

Named parameters (keyword arguments) for Haskell

A Haskell library for open records and variants using closed type families and type literals

Vim syntax highlighting for Dex

Haskell bindings for LLVM

C-Reduce, a C and C++ program reducer

JAX-based neural network library

Applicative option parser

A modern, extensible and well-documented prettyprinter.