Awesome Open Source

Programming Languages

Search results for language idris

10 search results found

Idris2 ⭐ 2,320

A purely functional programming language with first class types

Idris2 Boot ⭐ 944

A dependently typed programming language, a successor to Idris

Blodwen ⭐ 562

A prototype successor to Idris

Typedefs ⭐ 343

Programming language agnostic type construction language based on polynomials.

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

Idris Cil ⭐ 125

A Common Intermediate Language backend for Idris.

Idris101 ⭐ 52

Learning project by a group of people interested in learning the Idris language

Quicksort ⭐ 25

Quicksort implemented by me in different languages

Game Idris ⭐ 9

A game in Idris

Dev In Docker ⭐ 5

A complete development environment for your favorite language, in Docker

Related Searches

Python Language (4,480)

Javascript Language (4,116)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Golang Language (1,282)

Typescript Language (1,185)

Ruby Language (1,107)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.