⚡️ 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.

Test monadic programs using state machine based models

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.

A library for parsing routes.

A parser combinator library for Elm.

REST API for any Postgres database

Lean Theorem Prover