In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program.
A dynamically typed functional language in Rust — tree-walking interpreter, bytecode VM, and Cranelift JIT in one tiered runtime, with a built-in data stack, capability security, and record/replay.
A modern, general-purpose, pure functional programming language (Alpha)
Context-Generic Programming: modular programming paradigm for Rust
Deterministic booking for Elixir—DST-safe availability, resource assignment, validation, and lifecycle decisions without infrastructure.
This repository is a list of basic algorithm written in Haskell.
March is a statically-typed functional language: actors and message passing from the BEAM, algebraic data types from ML, compiled to native binaries through LLVM.
♞ lichess.org: the forever free, adless and open source chess server ♞
Gihub mirroring of https://gitlab.com/tyoras/cards - Card games implementations using advanced FP techniques in Scala.
DevTools and runtime environment for the Elm programming language
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
Bounded symbolic C# analysis platform for purity, invariants, runtime hazards, ownership/resource facts, and Z3-backed proofs.
Serverside, functional (ELM style) front-end and UI for Aardvark, an open-source platform for visual computing, real-time graphics and visualization.
Control your MacBook MagSafe 3 LED indicator with custom light modes, schedules, and status alerts for macOS.
Import native Android ports of classic games into Obtainium for automatic updates and controller-supported gameplay.
Process visual and textual data with this vision-language model for multimodal reasoning and image understanding tasks.
Fast, array-functional language for science and statistics
A capability-based microkernel written in Lean 4
Benchmark DSPy Recursive Language Models on DABench data analysis tasks with automated scoring for iterative code-based evaluation
Collect and share open ideas for building Iran across tech, infrastructure, economy, and society