Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Idris Clean

A priliminary backend for Idris that compiles to Clean.
Stars
11
License
mit
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
Idris
Categories
Repo
Alternatives To Idris Clean
Select To Compare
Gods ⭐ 14,840
GoDS (Go Data Structures) - Sets, Lists, Stacks, Maps, Trees, Queues, and much more
dependent packages 4,218total releases 26most recent commit 4 months ago
Revel ⭐ 12,983
A high productivity, full-stack web framework for the Go language.
dependent packages 51total releases 31most recent commit 6 months ago
Cphalcon ⭐ 10,737
High performance, full-stack PHP framework delivered as a C extension.
dependent packages 1total releases 54most recent commit 4 months agopackagist phalcon/cphalcon} Downloads
Learnhaskell ⭐ 7,760
Learn Haskell
most recent commit a year ago


Suggest An Alternative To idris-clean
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
Stack
Programming Language
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.