πŸ“ˆ GH Trending Explorer 🎲 Surprise me

Search: functional-programming Β· AI hidden Β· clear

lichess-org / lila

Open source server powering lichess.org, a free, ad-free online chess platform with realtime games, analysis, and tournaments.

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

Nix, the purely functional package manager

β–² ~21/7d β˜… 18k C++ today
roc-lang / roc

A fast, friendly, functional language.

β–² ~21/7d β˜… 6.1k Zig πŸ”₯ today
grame-cncm / faust

Functional programming language for signal processing and sound synthesis

β–² ~21/7d β˜… 3.2k C++ 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.

β–² ~7/7d β˜… 6.2k Java 4d ago
jank-lang / jank

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

β–² ~7/7d β˜… 3.3k 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

β–² ~0/7d β˜… 15k Scala πŸ”₯ today
kickstarter / ios-oss

Kickstarter for iOS. Bring new ideas to life, anywhere.

β–² ~0/7d β˜… 8.7k Swift 6d ago
AllThingsSmitty / must-watch-javascript

JavaScript talks you have to see πŸ‘€ on functional programming, performance, frameworks, React, debugging, leveling up, and more!

β–² ~0/7d β˜… 7.1k 29d ago
louthy / language-ext

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

β–² ~0/7d β˜… 7.1k C# 13d ago
arrow-kt / arrow

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

β–² ~0/7d β˜… 6.6k Kotlin today
carp-lang / Carp

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

β–² ~0/7d β˜… 6.1k Haskell 2d ago
apache / groovy

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

β–² ~0/7d β˜… 5.5k Groovy today
samuelmtimbo / unit

Next Generation Visual Programming System

β–² ~0/7d β˜… 4.9k TypeScript 7d ago
scalaz / scalaz

Principled Functional Programming in Scala

β–² ~0/7d β˜… 4.7k Scala 2d ago
zio / zio

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

β–² ~0/7d β˜… 4.4k Scala 1d ago
dry-python / returns

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

β–² ~0/7d β˜… 4.4k Python 1d ago
dotnet / fsharp

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

β–² ~0/7d β˜… 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

β–² ~0/7d β˜… 3.8k TypeScript 1d ago
Suor / funcy

A fancy and practical functional tools lib

β–² ~0/7d β˜… 3.5k Python 9d ago
grain-lang / grain

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

β–² ~0/7d β˜… 3.5k Reason 5d ago
typelevel / fs2

Compositional, streaming I/O library for Scala

β–² ~0/7d β˜… 2.5k Scala 1d ago
luafun / luafun

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

β–² ~0/7d β˜… 2.3k Lua 1mo ago
darklang / dark

Darklang main repo, including language, backend, and infra

β–² ~0/7d β˜… 2.2k F# today
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

β–² ~0/7d β˜… 2.0k Go today
monix / monix

Asynchronous, Reactive Programming for Scala and Scala.js.

β–² ~0/7d β˜… 1.9k Scala 3d ago
coalton-lang / coalton

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

β–² ~0/7d β˜… 1.8k Common Lisp 6d ago
selfrefactor / rambda

Typescript focused FP library similar to Remeda and Ramda

β–² ~0/7d β˜… 1.8k TypeScript 29d ago
LuxLang / lux

The Lux Programming Language

β–² ~0/7d β˜… 1.7k Emacs Lisp 13d ago
typelevel / skunk

A data access library for Scala + Postgres.

β–² ~0/7d β˜… 1.7k Scala 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

β–² ~0/7d β˜… 1.5k C 1d ago
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.

β–² ~0/7d β˜… 1.4k TypeScript 16d ago
hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

β–² ~0/7d β˜… 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

β–² ~0/7d β˜… 1.2k Java today
MLton / mlton

The MLton repository

β–² ~0/7d β˜… 1.1k Standard ML 18d ago
egison / egison

The Egison Programming Language

β–² ~0/7d β˜… 930 Haskell 1d ago
kalandra-lang / kalandra

Kalandra is a functional, parallel, distributed programming language.

β–² ~0/7d β˜… 929 TypeScript today
domn1995 / dunet

C# discriminated union source generator

β–² ~0/7d β˜… 887 C# 8d ago
ehmicky / wild-wild-path

🀠 Object property paths with wildcards and regexps 🌡

β–² ~0/7d β˜… 729 JavaScript 9d ago
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.

β–² ~0/7d β˜… 687 JavaScript today
gvolpe / trading

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

β–² ~0/7d β˜… 664 Scala 4d ago
metaopt / torchopt

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

β–² ~0/7d β˜… 639 Python 16d ago
Gabriella439 / grace

A prompt engineering functional programming language

β–² ~0/7d β˜… 623 Haskell πŸ”₯ 1mo ago

Load more β†’