Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Idris2

A purely functional programming language with first class types
Stars
2,320
License
other
Open Issues
536
Most Recent Commit
3 months ago
Programming Language
Idris
Categories
Site
Repo
Alternatives To Idris2
Select To Compare
Typeresolver ⭐ 9,088
A PSR-5 based resolver of Class names, Types and Structural Element Names
dependent packages 83total releases 37most recent commit 3 months agopackagist phpdocumentor/type-resolver} Downloads
Graphql Dotnet ⭐ 5,686
GraphQL for .NET
dependent packages 200total releases 151most recent commit 3 months agonuget GraphQL} Downloads
Gemoji ⭐ 4,319
Emoji images and names.
dependent packages 66total releases 25most recent commit 3 months agorubygems gemoji} Downloads


Suggest An Alternative To Idris2
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization
Related Searches
Types Language
Language Names
Types Names
Types Idris
Idris Dependent Types
Language Dependent Types
Language Idris

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