This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
GitHub repository with 45 stars and 11 forks.
Language: Standard ML
Topics: functional-programming, sml, standard-ml
2026-06-05: 45 stars and 11 forks.
Performance Software for Cyclists, Runners, Triathletes and Coaches
GitHub repository with 2,144 stars and 468 forks.
Trending score: 0.32; stars gained: +1; forks gained: +0.
Language: Standard ML
Topics: linux, macos, windows, c-plus-plus, qt, cycling
智码 AICoder 是一款轻量级桌面应用，专为 Claude Code CLI 用户打造。它提供了可视化的会话管理、终端集成和开发效率工具，让你在桌面端高效使用 Claude Code 进行 AI 辅助编程。
GitHub repository with 14 stars and 3 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Standard ML
IBM Cloud Paks are enterprise-grade containerized software by combining container images with enterprise capabilities for deployment in production use cases with integrations for management and lifecycle operations. Features such as pre-configured deployments based on product expertise, rolling upgrades, and management of production workloads.
GitHub repository with 145 stars and 146 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Standard ML
CakeML: A Verified Implementation of ML
GitHub repository with 1,160 stars and 96 forks.
Trending score: 0.05.
Language: Standard ML
Topics: programming-language, formal-verification, formal-semantics, compiler, theorem-proving, hol
Nix, the purely functional package manager
GitHub repository with 17,019 stars and 1,935 forks.
Trending score: 2.09; stars gained: +12; forks gained: +2.
Language: C++
Topics: nix, functional-programming, c-plus-plus, package-manager, declarative-language
♞ lichess.org: the forever free, adless and open source chess server ♞
GitHub repository with 18,312 stars and 2,683 forks.
Trending score: 1.10; stars gained: +7; forks gained: +2.
Language: Scala
Topics: chess, free-software, functional-programming, game, lichess, non-profit
A fast, safe, and intuitive DataFrame library.
GitHub repository with 249 stars and 46 forks.
Trending score: 0.60; stars gained: +3; forks gained: +0.
Language: Haskell
Topics: dataframe, exploratory-data-analysis, functional-programming
Hazel, a live functional programming environment with typed holes
GitHub repository with 1,093 stars and 63 forks.
Trending score: 0.58; stars gained: +1; forks gained: +0.
Language: Reason
Topics: editor, functional-programming, ocaml, elm, reasonml, holes
Fastify 5 application boilerplate based on clean architecture, domain-driven design, CQRS, functional programming, vertical slice architecture for building production-grade applications 🚀
GitHub repository with 450 stars and 50 forks.
Trending score: 0.41; stars gained: +1; forks gained: +0.
Language: TypeScript
Topics: backend, clean-architecture, cqrs, ddd, fastify, graphql
Rapid development of self-documenting APIs
GitHub repository with 1,463 stars and 467 forks.
Trending score: 0.36; stars gained: +0; forks gained: +0.
Language: Scala
Topics: akka-http, openapi, http4s, sttp, http, scala