cryptol
purescript
Our great sponsors
cryptol | purescript | |
---|---|---|
0 | 52 | |
1,103 | 8,433 | |
1.0% | 0.5% | |
9.2 | 6.6 | |
3 days ago | 10 days ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cryptol
We haven't tracked posts mentioning cryptol yet.
Tracking mentions began in Dec 2020.
purescript
- Learning Elm by porting a medium-sized web front end from React (2019)
- Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript?
-
Building React Components Using Unions in TypeScript
Naturally I’d recommend using a better language such as ReScript or Elm or PureScript or F#‘s Fable + Elmish, but “React” is the king right now and people perceive TypeScript as “less risky” for jobs/hiring, so here we are.
-
Is there a better way to do read-only types
Unless you want to switch to https://www.purescript.org/.
- (strongly typed) functional language compilers running in browser
-
purescript VS purs-eval - a user suggested alternative
2 projects | 2 Mar 2023
- Por que Elm é uma linguagem tão deliciosa?
-
My main beef with Haskell/JS
Assuming this is a PS knock, fwiw this went away a good bit ago: https://github.com/purescript/purescript/releases/tag/v0.14.2
- 10 years of Scala.js
-
purerl - Integrating PureScript into Elixir projects
PureScript is a Haskell-like language aimed at providing an alternative to TypeScript for statically typed programming in the JavaScript space. I highly recommend taking a look at PureScript for your compile-to-JavaScript needs outside of the use case we'll be talking about in this post.
What are some alternatives?
fp-ts - Functional programming in TypeScript
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
elm-reactor
Elm - Compiler for Elm, a functional language for reliable webapps.
rescript-compiler - The compiler for ReScript.
Idris2 - A purely functional programming language with first class types
liquidhaskell - Liquid Types For Haskell
polysemy - :gemini: higher-order, no-boilerplate monads
stylish-haskell - Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
haskell-names - Haskell suite library for name resolution
from-typescript-to-rescript - Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript
reflex - Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.