Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda System Io

Bindings to Haskell's IO monad which respect Agda's semantics
Stars
23
License
mit
Open Issues
18
Most Recent Commit
5 years ago
Programming Language
Agda
Categories
Repo
Alternatives To Agda System Io
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 4 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 agda-system-io
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
Eta
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.