idris2-dom reviews and mentions
Posts with mentions or reviews of idris2-dom.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Geometry from Another Universe
I am grateful for the idris2-dom library by Stefan Höck: https://github.com/stefan-hoeck/idris2-dom/ . It covered most of the web APIs I used.
I'm using the WebGL API pretty directly, though. So if it were missing I could have hacked it with some foreign function calls, but it would have been a lot more effort.
Stats
Basic idris2-dom repo stats
1
44
4.0
22 days ago
stefan-hoeck/idris2-dom is an open source project licensed under BSD 2-clause "Simplified" License which is an OSI approved license.
The primary programming language of idris2-dom is Idris.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com