probability

Idris

A library for probabilistic computation and visualization in Idris, leveraging functorial, applicative, and monadic structures.

33 stars4 forks0 contributors

Overview

Probabilistic computation in Idris

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

7 years ago

CreatedSince 2015

Auto-fetched 10 days ago

Programming language agnostic type construction language based on polynomials.

formally verified category theory library

Parser combinators for Idris

xmonad with the X11 abstracted and configured with Idris