Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Gpif Idris

Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
Stars
14
License
other
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
Idris
Categories
Repo
Alternatives To Gpif Idris
Select To Compare
Shapeless ⭐ 3,349
Generic programming for Scala
dependent packages 721total releases 11most recent commit 3 months ago
Chimney ⭐ 1,069
Scala library for boilerplate-free, type-safe data transformations
dependent packages 39total releases 27most recent commit 3 months ago
Magnolia ⭐ 733
Easy, fast, transparent generic derivation of typeclass instances
dependent packages 92total releases 30most recent commit 3 months ago
Vigra ⭐ 393
a generic C++ library for image analysis
dependent packages 3total releases 1most recent commit 5 months ago
Genesis ⭐ 312
All generic functions for Go you ever need!
dependent packages 2total releases 21most recent commit 5 months ago


Suggest An Alternative To gpif-idris
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
Generic Programming
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.