Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Idris Type Providers

Type provider library for Idris
Stars
75
License
No license specified
Open Issues
2
Most Recent Commit
6 years ago
Programming Language
Idris
Categories
Repo
Alternatives To Idris Type Providers
Select To Compare
Gogs ⭐ 44,056
Gogs is a painless self-hosted Git service
dependent packages 4total releases 74most recent commit 16 days ago
Nocodb ⭐ 40,333
🔥 🔥 🔥 Open Source Airtable Alternative
dependent packages 6total releases 96most recent commit 3 months agonpm nocodb-sdk} Downloads


Suggest An Alternative To idris-type-providers
Popular Data Storage Categories
Database
Mysql
Redis
Mongodb
Postgresql
Firebase
Elasticsearch
Backup
Sqlite
Archive

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Sqlite
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.