Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Idris Elm

The Elm architecture ported to Idris Programming language
Stars
9
License
No license specified
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
Idris
Categories
Repo
Alternatives To Idris Elm
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Learn Elm447npm learn-elm} Downloads22 years ago1December 07, 201696HTML
:rainbow: discover the beautiful programming language that makes front-end web apps a joy to build and maintain!
Idris Elm9
5 years agoIdris
The Elm architecture ported to Idris Programming language
Alternatives To Idris Elm
Select To Compare


Suggest An Alternative To idris-elm
Alternative Project Comparisons
Idris Elm vs Learn Elm
Popular Programming Projects
Popular Elm Architecture Projects
Bubbletea ⭐ 24,607
A powerful little TUI framework 🏗
dependent packages 1,027total releases 136latest release June 05, 2023most recent commit 4 days ago
Bubbles ⭐ 4,255
TUI components for Bubble Tea 🫧
dependent packages 951total releases 63latest release May 31, 2023most recent commit 4 months ago
Render ⭐ 2,061
UIKit a-là SwiftUI.framework [min deployment target iOS10]
total releases 22latest release February 16, 2018most recent commit 4 years ago
Bucklescript Tea ⭐ 593
TEA for Bucklescript
dependent packages 5total releases 49latest release April 08, 2020most recent commit 6 months agonpm bucklescript-tea} Downloads
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook
Related Searches
Programming Elm
Programming Language Elm
Programming Idris
Elm Idris
Programming Elm Architecture
Programming Language Idris

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