Top FP technologies

• Phoenix

  120 21,467 9.2 Elixir

  Peace of mind from prototype to production

  

  Stars: 21k One of the most if not the most popular FP frameworks that has won "the most admired web framework" at stackoverflow research for several years in a row. Stack Overflow Developer Survey 2023 Fullstack, Ruby inspired. Connects high load with easy of use. There are big companies using this framework check related block at Phoenix Framework

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• scala

  49 14,355 9.8 Scala

  Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

  

  Scala

• realtime

  58 6,838 9.4 Elixir

  Broadcast, Presence, and Postgres Changes via WebSockets

  

  supabase/realtime

• CouchDB

  37 6,282 9.6 Erlang

  Seamless multi-master syncing database with an intuitive HTTP/JSON API, designed for reliability

  

  CouchDB

• gleam

  115 18,134 9.9 Rust

  ⭐️ A friendly language for building type-safe, scalable systems!

  

  Gleam

• emqx

  9 14,178 10.0 Erlang

  The most scalable open-source MQTT broker for IoT, IIoT, and connected vehicles

  

  emqx

• lustre

  3 1,218 9.5 Gleam

  A Gleam web framework for building HTML templates, single page applications, and real-time server components.

  

  Front end in Gleam

• Metabase

  77 39,006 10.0 Clojure

  The simplest, fastest way to get business intelligence and analytics to everyone in your company :yum:

  

  metabase

• Exercism - Scala Exercises

  412 7,371 3.5

  Crowd-sourced code mentorship. Practice having thoughtful conversations about code.

  

  Appeared at 2012. Built on top of BEAM to make Erlang\OTP runtime more accessible, because Erlang is not user friendly really; and shares the same abstractions and OTP framework for building distributed, fault-tolerant applications. Though initially designed with dynamic typing, Elixir is actively developing static typing capabilities cnrs. As Joe Armstrong said about types "no good type system save you from node failure" — that is why Erlang language was dynamically typed — it was not focus. And it is one of the two languages in this list available on Leetcode, but I would recommend to use https://exercism.org/ for practice firstly. You can think about this language as more modern and easy to use language for BEAM runtime than original Erlang language. Why does it matter? Because Erlang really powers high load. You can find out more here about real world use cases of Erlang its VM called BEAM. Whats-app cloud handles 2 millions connection per a node for instance. It is simple language nevertheless a powerful one. Maybe Elixir has not really good theoretical fundament, but it is still good language and its author José Valim actively works on bringing type system with synergy of academic world.

• logseq

  557 33,283 9.2 Clojure

  A local-first, non-linear, outliner notebook for organizing and sharing your personal knowledge base. Use it to organize your todo list, to write your journals, or to record your unique life.

  

  logseq

• Elm

  207 7,567 4.0 Haskell

  Compiler for Elm, a functional language for reliable webapps.

  

  Elm

• penpot

  231 33,992 10.0 Clojure

  Penpot: The open-source design tool for design and code collaboration

  

  penpot

• Elixir

  145 24,588 9.9 Elixir

  Elixir is a dynamic, functional language for building scalable and maintainable applications

  

  Elixir

• ShellCheck

  496 36,527 8.3 Haskell

  ShellCheck, a static analysis tool for shell scripts

  ShellCheck

• clojure

  107 10,484 8.1 Java

  The Clojure programming language

  

  Clojure

• pandoc

  432 34,922 9.8 Haskell

  Universal markup converter

  pandoc

• postgrest

  110 23,488 9.7 Haskell

  REST API for any Postgres database

  

  PostgREST

• hadolint

  26 10,502 6.2 Haskell

  Dockerfile linter, validate inline bash, written in Haskell

  

  Like hadolint: Dockerfile linter, validate inline bash, written in Haskell; Purescript, Unison, Idris languages implemented in Haskell. I recommend to check ideas behinds those projects. Especially Unison's mind-blowing something naive idea about infinite computational resources.

• Apache Spark

  110 40,073 10.0 Scala

  Apache Spark - A unified analytics engine for large-scale data processing

  

  spark

• enso

  85 7,388 9.9 Scala

  Enso Analytics is a self-service data prep and analysis platform designed for data teams.

  

  Enso

• returns

  21 3,618 9.2 Python

  Make your functions return something meaningful, typed, and safe!

  

  Python is not functional language itself. And as I can relate does not want to be: look at lambda for instance. But this package allows to write more robust applications. Link to lib: GitHub - dry-python/returns: Make your functions return something meaningful, typed, and safe!

Suggest a related project