1.NixOS / nix
Nix, the purely functional package manager
Ranked by Attention Score: stars gained over the last 7 complete days
29 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)
Nix, the purely functional package manager
♞ lichess.org: the forever free, adless and open source chess server ♞
A fast, friendly, functional language.
把智能体当函数,把想法写成程序。Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
Type-Safe Errors for JS & TypeScript
jank is the native Clojure dialect with seamless C++ interop.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Hide secrets with invisible characters in plain text securely using passwords 🧙🏻♂️⭐
A puzzle game inspired by functional programming
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Make your functions return something meaningful, typed, and safe!
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
C# pure functional programming framework - come and get declarative!
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
The Lux Programming Language
😎 The open-source, Haskell-built video editor for GIF makers.
A functional and reactive JavaScript framework for predictable code
JavaScript talks you have to see 👀 on functional programming, performance, frameworks, React, debugging, leveling up, and more!
Principled Functional Programming in Scala
Functional extensions for C#
Compositional, streaming I/O library for Scala
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
Asynchronous, Reactive Programming for Scala and Scala.js.
A data access library for Scala + Postgres.
🐆 An immutable list with unmatched performance and a comprehensive functional API.
Derives and generates mundane golang functions that you do not want to maintain yourself
Functional programming for modern Fortran
Compilation and Verification of Data-Centric Languages