Proposed compiler and language changes for GHC and GHC/Haskell

Exploring the scalable matrix extension of the Apple M4 processor

Transcompiler for lua and go.

Experiment on how to bootstrap the OCaml compiler

A language agnostic test suite for TOML parsers.

A cross-platform, safe, pure-Rust graphics API.

A cross platform C99 library to get cpu features at runtime.

RustHorn: A CHC-based automated verifier for Rust

A light markup language

A caching Git HTTP server

Git caching proxy

SMackage Build Tool

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

ClutTeX support for AUCTeX

The Fast Lexical Analyzer - scanner generator for lexing in C and C++

Proglr: GLR Parser Generator for Standard ML

Extend Cabal build-depends from the command line

The compiler for Teal, a typed dialect of Lua

Purescript compiler back-end for Lua

Setting up GHC, cabal, stack on for Haskell-related CIs

A custom parser/auto-formatter for Standard ML

Haskell bindings for LLVM

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

Integer logarithms, originally split from arithmoi package

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Heterogeneous automatic differentiation ("backpropagation") in Haskell

Embedded language for high-performance array computations

Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"

Tensors and neural networks in Haskell