⚡️ An efficient cache for the execution of dask graphs.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Topological Data Analysis for Python🐍

A High-Level Abstraction Framework for Quantum Algorithms

Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)

A new Categories library for Agda

Mathematical Components

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Randomized Property-Based Testing Plugin for Coq

Notes and handouts from OPLSS 2019

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Basis Universal GPU Texture Codec

formally verified category theory library

A JavaScript library aimed at visualizing graphs of thousands of nodes and edges

Shell code for Deep Learning Practicum PSETs

Create PureScript datatypes from Haskell datatypes

Translate servant API to purescript code, with the help of purescript-bridge.

Command line interface for testing internet bandwidth using speedtest.net

Code playground

API server with Servant

A curated list of awesome Haskell frameworks, libraries and software.

REST API for any Postgres database

Python coded examples and documentation of machine learning algorithms.

Files for workshop at Center for Research on Inequalities and the Life Course

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

Gulp plugin that compiles Elm files to JavaScript.