LFX Platform

Know more about LFX Platform

Search projects, repositories, or collections

⇧+K

Functional & Domain-Specific Languages

Languages focused on specific paradigms or problem domains, like Haskell or SQL.

53 projects

44,768 contributors

$1.4B

Most contributors

Elixir

Elixir is a dynamic, functional programming language built on top of the Erlang virtual machine (BEAM). It is designed for building scalable and maintainable applications, particularly suited for distributed, fault-tolerant systems. The language combines Erlang's robustness with Ruby-inspired syntax for developer productivity.

5,060

1,485

$11M

Solidity

A project focused on the Solidity programming language, which is used for developing smart contracts on blockchain platforms like Ethereum

3,954

989

$13M

Triton

Triton is a programming language and compiler framework designed for GPU programming, focusing on tensor computations and machine learning workloads. It enables developers to write high-performance code for GPU acceleration with Python-like syntax while providing low-level hardware control.

2,959

541

$8.1M

Erlang/OTP

Erlang/OTP

2,867

705

$129M

F#

F# is a functional-first programming language that runs on .NET. It is an open-source, cross-platform language that supports functional, imperative, and object-oriented programming paradigms. The project includes the F# compiler, core library implementation, and language tools.

2,164

445

$32M

ZIO

ZIO is a type-safe, composable library for asynchronous and concurrent programming in Scala. It provides a powerful effect system for building scalable, resilient applications with built-in error handling, resource management, and high performance.

2,067

378

$7.1M

Haxe

Haxe - The Cross-Platform Toolkit

1,566

345

$11M

OCaml

OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. It is the main implementation of the Caml language, featuring a powerful type system with type inference, pattern matching, and support for functional, imperative, and object-oriented programming paradigms.

1,563

391

$19M

Racket

Racket is a general-purpose programming language and ecosystem descended from Scheme that supports language-oriented programming. It includes tools for creating new programming languages, a comprehensive standard library, and an integrated development environment.

1,516

350

$49M

Gleam

Gleam is a statically typed functional programming language designed for building scalable concurrent systems. It compiles to Erlang and runs on the BEAM virtual machine, offering type safety, immutability, and seamless interoperability with Erlang and Elixir ecosystems.

1,315

406

$7M

ReScript

ReScript is a robustly typed programming language that compiles to efficient JavaScript. It features a syntax familiar to JavaScript developers while providing strong type safety, fast compilation, and seamless JavaScript interoperability.

1,298

464

$20M

Halide

Halide is a domain-specific language and compiler for high-performance image processing and array processing. It allows developers to write high-level algorithms that are automatically optimized for modern hardware architectures including CPUs, GPUs, and specialized accelerators.

1,180

198

$13M

OpenD

OpenD appears to be a programming language project, though specific details about its functionality and features are not available from the provided information

1,125

90

$82M

PureScript

A strongly-typed language that compiles to JavaScript

1,007

357

$2M

Lean 4

Lean 4 is a functional programming language and interactive theorem prover developed by Microsoft Research and the Lean community. It combines powerful automation with expressive logic, enabling both mathematical theorem proving and general-purpose programming. The language features dependent types, metaprogramming capabilities, and a modern build system.

924

215

$25M

Roc

A fast, friendly, functional language.

891

187

$27M

Agda

Agda is a dependently typed functional programming language and proof assistant developed by Chalmers University. It allows writing programs and proving properties about them in a unified framework based on intuitionistic type theory.

883

234

$10M

Reason

Reason is a syntax extension and toolchain for OCaml that provides a familiar syntax similar to JavaScript/C-style languages while maintaining OCaml's power and type safety. It enables writing type-safe code with a syntax that is more accessible to developers coming from JavaScript and other C-style languages.

742

312

$2.5M

Macaulay2

Macaulay2 is a software system for algebraic geometry and commutative algebra research and computation. It provides a sophisticated programming language and extensive libraries for mathematical calculations, supporting tasks like computing Gröbner bases, syzygies, free resolutions, and cohomology.

731

49

$25M

OxCaml

OxCaml is a project that appears to be associated with OCaml development at Oxford University, though specific details about its functionality are not readily available from the provided information

725

103

$45M

HCL

HCL (HashiCorp Configuration Language) is a structured configuration language designed to be both human-readable and machine-friendly. It is primarily used for defining infrastructure as code and configuration files across HashiCorp's suite of tools, supporting features like variables, functions, and nested structures.

608

258

$2M

Factor

Factor programming language

597

96

$33M

IHaskell

IHaskell is a Jupyter kernel for the Haskell programming language, enabling interactive Haskell code execution and notebook functionality within Jupyter environments. It provides features for writing, executing, and visualizing Haskell code with rich output support.

597

226

$991K

KCL

Constraint-based record and functional language and tools that is primarily utilized in cloud-native configurations and policy scenarios.

582

158

$422M

F*

F* is a general-purpose functional programming language with dependent types, aimed at program verification. It puts an emphasis on security, verification, and program correctness through its advanced type system and automated theorem proving capabilities.

542

141

$12M

Unison

Unison is a modern, statically-typed functional programming language and platform focused on content-addressed code. It features a unique ability to store and version code based on its content rather than text, enabling novel approaches to code reuse, refactoring, and dependency management. The language emphasizes type safety, immutability, and distributed computing capabilities.

503

155

$9.4M

Janet

A dynamic language and bytecode vm

482

127

$1.6M

SWI-Prolog

SWI-Prolog Main development repository

442

93

$12M

IHP

IHP is a modern batteries-included web framework built in Haskell, focused on type safety and rapid development. It provides features like automatic schema management, real-time capabilities, and integrated development tools for building full-stack web applications

413

108

$2.3M

Futhark

:boom::computer::boom: A data-parallel functional programming language

386

97

$639K

Clojure

The Clojure programming language

375

100

$2.7M

Uiua

Uiua is a stack-based array programming language focused on array manipulation and tacit programming. It combines elements of APL-style array operations with modern language features and a unique approach to data transformation.

362

71

$3M

flow

Flow9 is a multi-platform programming language and development system that enables writing applications that can run on web browsers, mobile devices, and desktop platforms. It features strong typing, functional programming capabilities, and a comprehensive standard library for building user interfaces and applications.

335

11

$53M

Common Expression Language (CEL)

Common Expression Language (CEL) is a portable expression language that lets users write simple boolean expressions that can be parsed and evaluated in a variety of programming environments. It provides a secure and efficient way to evaluate expressions without turning them into executable code.

325

113

$6.4M

Koka

Koka is a function-oriented programming language that separates pure values from side-effecting computations, featuring a novel effect type system and tail-recursion modulo effects. It aims to combine functional programming with controlled effects for safer and more maintainable code.

324

111

$2.6M

Flix

The Flix Programming Language

321

60

$3.3M

Gambit Scheme

Gambit Scheme is an implementation of the Scheme programming language that features an optimizing compiler, interpreter, and development environment. It compiles Scheme programs to standalone executables with native code generation and supports various platforms.

318

68

$81M

Rascal

Rascal is a metaprogramming language and framework for source code analysis, transformation, and generation. It provides a comprehensive set of features for parsing, analyzing, and manipulating source code across different programming languages, with integrated support for visualization and testing.

298

49

$5.5M

Clash

Clash is a functional hardware description language that borrows concepts from Haskell. It enables the design and verification of digital circuits through high-level functional programming abstractions, allowing developers to write type-safe hardware descriptions that can be automatically translated to VHDL, Verilog, or SystemVerilog.

277

82

$4.5M

Starlark in Go

Starlark in Go is an interpreter for Starlark, a dialect of Python intended for use as a configuration language. It implements the Starlark language specification and provides a Go API for embedding the interpreter into Go programs.

267

110

$661K

SBCL (Steel Bank Common Lisp)

SBCL (Steel Bank Common Lisp) is a high-performance Common Lisp compiler and runtime environment. It is derived from CMUCL and features native compilation, a comprehensive debugger, and extensive ANSI Common Lisp compliance. The system is self-hosting and provides robust support for multithreading, Unicode, and foreign function interfaces.

254

39

$36M

CakeML

CakeML: A Verified Implementation of ML

233

27

$26M

Enso

Enso is a hybrid visual and textual programming language and development environment focused on data processing and interactive computing. It combines visual programming with traditional coding to enable both technical and non-technical users to work with data and create applications.

233

82

$23M

Happy

Happy is a parser generator system for Haskell, similar to yacc. It takes a file containing BNF grammar specifications and produces a Haskell module containing a parser for that grammar.

224

78

$341K

Haskell Backend

A backend implementation for translating Haskell code into other target languages and platforms, developed by Runtime Verification - a company specializing in formal methods and runtime verification technology

186

22

$17M

Darklang

Darklang is a programming language and platform designed for building backend web services through a visual editor. It combines infrastructure, deployment, and version control into a unified development environment that aims to simplify backend development by eliminating traditional DevOps complexity.

183

55

$3.6M

Gauche

Scheme Scripting Engine

161

40

$13M

Motoko

Simple high-level language for writing Internet Computer canisters

155

27

$4.9M

GenAIScript

GenAIScript is a programming language and runtime environment designed for building generative AI applications, developed by Microsoft. It provides a structured way to create and manage AI-powered applications with a focus on generative capabilities.

129

33

$3.8M

Fiat

Fiat is a deductive synthesis framework developed at MIT that enables the derivation of correct-by-construction programs from high-level specifications. It focuses on automated generation of efficient implementations while providing formal guarantees about correctness.

62

13

$9.2M

Logtalk

Logtalk is an object-oriented logic programming language that extends and leverages Prolog with modern code encapsulation and code reuse mechanisms while supporting both prototypes and classes. It provides support for components, protocols, categories, and other advanced programming features.

57

13

$37M

CUE Language

The home of the CUE language! Validate and define text-based and dynamic configuration

This project hasn't been onboarded to LFX Insights.

Looking for a project that’s not listed?