Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Ikan

build tool and package manager for idris,in idris,with free monads
Stars
24
License
apache-2.0
Open Issues
2
Most Recent Commit
5 years ago
Programming Language
Idris
Categories
Repo
Suggest An Alternative To ikan
Popular Monad Projects
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454latest release October 21, 2023most recent commit 3 months agonuget LanguageExt.Core} Downloads
Arrow ⭐ 5,884
Λrrow - Functional companion to Kotlin's Standard Library
dependent packages 80total releases 240latest release September 05, 2023most recent commit 3 months ago
Fluture ⭐ 2,458
:butterfly: Fantasy Land compliant (monadic) alternative to Promises
dependent packages 227total releases 109latest release March 13, 2021most recent commit 4 months agonpm fluture} Downloads
Popular Package Manager Projects
Yarn ⭐ 41,298
The 1.x line is frozen - features and bugfixes now happen on https://github.com/yarnpkg/berry
dependent packages 3,187total releases 119latest release November 14, 2023most recent commit 3 months agonpm yarn} Downloads
Poetry ⭐ 29,469
Python packaging and dependency management made easy
dependent packages 315total releases 166latest release November 16, 2023most recent commit 2 days agopypi poetry} Downloads
Composer ⭐ 28,046
Dependency Manager for PHP
dependent packages 2,182total releases 191latest release December 08, 2023most recent commit 3 months agopackagist composer/composer} Downloads
Pnpm ⭐ 26,751
Fast, disk space efficient package manager
dependent packages 1,327total releases 1,018latest release December 08, 2023most recent commit 3 months agonpm pnpm} Downloads
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Related Searches
Monad Category Theory
Dsl Monad
Dsl Free Monad
Monad Idris
Dsl Package Manager
Package Manager Idris

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Dsl
Package Manager
Monad
Category Theory
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.