specdris

MITIdris

A spec-like unit testing framework for the Idris programming language.

55 stars8 forks0 contributors

Overview

A test framework for 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 2017

Auto-fetched 11 hours 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