Categories |
|
---|---|
Website | lean.tinywhale.net |
Details $ | - |
Categories |
|
---|---|
Website | purescript.org |
Details $ |
Based on our record, PureScript seems to be more popular. It has been mentiond 2 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Before 2012, all of my websites were made using HTML, CSS and a sprinkling of JS. Then, I went all-in on AngularJS, followed by React. I started using Typescript and then PureScript and learned more frameworks like Halogen and Concur. I even wrote my own UI framework called purescript-deku. - Source: dev.to / over 1 year ago
I hope you get a chance to try PureScript out in your JS projects! For more learning resources, you can check out PureScript website. - Source: dev.to / over 2 years ago
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
ReasonML - ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy...
Haskell - An advanced purely-functional programming language
Haste - Decreases ping in video games.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Mint - Free personal finance software to assist you to manage your money, financial planning, and budget planning tools. Achieve your financial goals with Mint.