Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Polymonad Proofs

Agda proofs about polymonads
Stars
7
License
No license specified
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
Agda
Categories
Repo
Alternatives To Polymonad Proofs
Select To Compare
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454most recent commit 3 months agonuget LanguageExt.Core} Downloads
Arrow ⭐ 5,884
Λrrow - Functional companion to Kotlin's Standard Library
dependent packages 80total releases 240most recent commit 3 months ago
Fluture ⭐ 2,458
:butterfly: Fantasy Land compliant (monadic) alternative to Promises
dependent packages 227total releases 109most recent commit 3 months agonpm fluture} Downloads
Hlearn ⭐ 1,571
Homomorphic machine learning
total releases 15most recent commit 8 years ago
Functionaljava ⭐ 1,549
Functional programming in Java
dependent packages 66total releases 18most recent commit a year ago
Crocks ⭐ 1,541
A collection of well known Algebraic Data Types for your utter enjoyment.
dependent packages 86total releases 36most recent commit 2 years agonpm crocks} Downloads
Purify ⭐ 1,462
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40most recent commit 3 months agonpm purify-ts} Downloads


Suggest An Alternative To polymonad-proofs
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Monad
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.