Mattpolzin/Harmony Alternatives and Reviews

harmony reviews and mentions

Posts with mentions or reviews of harmony. We have used some of these posts to build our list of alternatives and similar projects.

Is idris2 production ready?
1 project | /r/Idris | 13 Jan 2023

to implement a standalone productivity tool used internally

Basic harmony repo stats

Mentions

Stars

Activity

8.9

Last Commit

about 2 months ago

mattpolzin/harmony is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of harmony is Idris.