πŸ“ˆ GH Trending Explorer 🎲 Surprise me

Search: functional-programming Β· clear

lichess-org / lila

β™ž lichess.org: the forever free, adless and open source chess server β™ž

β–² 56/7d β˜… 19k Scala πŸ”₯ today
NixOS / nix

Nix, the purely functional package manager

β˜… 18k C++ today
scala / scala

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

β˜… 15k Scala πŸ”₯ today
louthy / language-ext

C# pure functional programming framework - come and get declarative!

β˜… 7.1k C# 11d ago
arrow-kt / arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

β˜… 6.6k Kotlin today
vavr-io / vavr

vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.

β˜… 6.2k Java 2d ago
roc-lang / roc

A fast, friendly, functional language.

β˜… 6.1k Zig πŸ”₯ today
carp-lang / Carp

A statically typed lisp, without a GC, for real-time applications.

β˜… 6.1k Haskell today
apache / groovy

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

β˜… 5.5k Groovy today
scalaz / scalaz

Principled Functional Programming in Scala

β˜… 4.7k Scala 1d ago
zio / zio

ZIO β€” A type-safe, composable library for async and concurrent programming in Scala

β˜… 4.4k Scala today
dry-python / returns

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

β˜… 4.4k Python today
dotnet / fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

β˜… 4.3k F# today
thi-ng / umbrella

β›± Broadly scoped ecosystem & mono-repository of 215 TypeScript projects (and ~185 examples) for general purpose, functional, data driven development

β˜… 3.8k TypeScript 6d ago
Suor / funcy

A fancy and practical functional tools lib

β˜… 3.5k Python 7d ago
grain-lang / grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

β˜… 3.5k Reason 4d ago
jank-lang / jank

jank is the native Clojure dialect with seamless C++ interop.

β˜… 3.3k C++ today
grame-cncm / faust

Functional programming language for signal processing and sound synthesis

β˜… 3.2k C++ today
typelevel / fs2

Compositional, streaming I/O library for Scala

β˜… 2.5k Scala today
luafun / luafun

Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.

β˜… 2.3k Lua 29d ago
darklang / dark

Darklang main repo, including language, backend, and infra

β˜… 2.2k F# 1d ago
IBM / fp-go

Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversal) for immutable data manipulation. Supports Functor, Applicative, and Monad abstractions with do-notation-style

β˜… 2.0k Go today
monix / monix

Asynchronous, Reactive Programming for Scala and Scala.js.

β˜… 1.9k Scala 1d ago
coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

β˜… 1.8k Common Lisp 4d ago
LuxLang / lux

The Lux Programming Language

β˜… 1.7k Emacs Lisp 11d ago
nerevu / riko

A Python stream processing engine modeled after Yahoo! Pipes

β˜… 1.6k Python 4d ago
ring-lang / ring

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages

β˜… 1.5k C today
true-myth / true-myth

Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.

β˜… 1.4k TypeScript 14d ago
hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

β˜… 1.2k Reason today
mybatis / mybatis-dynamic-sql

SQL DSL (Domain Specific Language) for Kotlin and Java. Supports rendering for MyBatis or Spring JDBC Templates

β˜… 1.2k Java today
char0n / ramda-adjunct

Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.

β˜… 687 JavaScript 1d ago
gvolpe / trading

πŸ’± Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)

β˜… 664 Scala 3d ago
metaopt / torchopt

TorchOpt is an efficient library for differentiable optimization built upon PyTorch.

β˜… 639 Python 15d ago

Load more β†’