Programming library for Agda

Switching linear dynamical systems (SLDS) models in JAX

🎨 Type-safe and powerful Python library to generate SVG files

Optimally compress unordered data (sets, graphs, ...)

Agda is a dependently typed programming language / interactive theorem prover.

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Free Lossless Audio Codec

The extensible vi layer for Emacs.

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

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

associative floating point addition

Isomorphism testing and automorphisms of graphs

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

Research language for array processing in the Haskell/ML family

A purely functional programming language with first class types

theseus, functional programming language with fully reversible computation

Clockwork VAEs in JAX/Flax

An introduction to programming language theory in Agda

Official code accompanying the arXiv paper Compressing Multisets with Large Alphabets

A collection of tools for neural compression enthusiasts.

Anki's shared backend and web components, and the Qt frontend

Interpreter for the reversible functional language rFun

A simple Timer app for Mac

Awesome autocompletion, static analysis and refactoring library for python

Command-line JSON processor

The Fast Cross-Platform Package Manager

iTerm2 is a terminal emulator for Mac OS X that does amazing things.

Vim support for editing fish scripts