10 个仓库
Awesome GitHub RepositoriesFunctional Programming Logic
Development of programs using immutable bindings, partial application, pipe chaining, and recursion.
Distinct from Functional Logic Translations: Candidates focus on translation of math or logic programming (Prolog), not the general functional paradigm.
Explore 10 awesome GitHub repositories matching programming languages & runtimes · Functional Programming Logic. Refine with filters or upvote what's useful.
Awesome Functional Programming Logic GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- reasonml/reason
reasonml/reason
10,313在 GitHub 上查看Reason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web environments or native machine code for operating systems. It serves as an OCaml-compatible language that shares an abstract syntax tree with OCaml, providing a practical syntax for the OCaml ecosystem. The project functions as a type-safe frontend language, incorporating JSX support to build user interfaces through structural elements that translate into type-safe function calls. It enables deep integration with the JavaScript ecosystem, allowing the use of existing librarie
Enables a full functional workflow using immutable data, partial application, and recursive logic.
OCamljavascriptocamlprogramming-language - xianhu/learnpython
xianhu/LearnPython
8,484在 GitHub 上查看LearnPython is a programming tutorial consisting of a collection of practical code examples used to demonstrate Python language features and programming patterns. It serves as a comprehensive learning resource that implements core language concepts through functional code. The project provides specialized guides and samples covering several key domains. These include asynchronous network programming with event loops and coroutines, data visualization using numerical datasets for 2D and 3D plots, and web scraping for fetching content and automating login flows. It also features instructions on
Implements function wrapping to add logging, type checking, and caching without altering original source code.
Jupyter Notebooklearning-pythonpythonpython-flask - leanprover/lean4
leanprover/lean4
8,306在 GitHub 上查看Lean 4 is a functional programming language and interactive proof assistant used to formalize mathematics and verify software correctness. It functions as a dependent type theorem prover and a formal verification tool that allows users to construct mathematical proofs and ensure program correctness. Additionally, it serves as a logic-based source for generating verified datasets used to train and benchmark artificial intelligence reasoning systems. The system distinguishes itself through a small-kernel verification model, where all proofs are verified by a trusted core of basic logical rules.
Provides a pure functional programming environment with dependent types and monadic IO for general software and logic development.
Leanleanlean4 - crazyguitar/pysheeet
crazyguitar/pysheeet
8,150在 GitHub 上查看pysheeet 是一个技术参考库，提供了一系列精选的代码片段和实现模式，用于高级 Python 开发、系统集成和高性能计算。它充当实现底层网络编程、原生 C 扩展以及异步和并发编程的综合指南。 该项目为大语言模型的开发和部署提供了专门的框架，包括用于分布式 GPU 推理和高性能服务的工具。它还包括用于高性能计算集群编排的详细模式，涵盖 GPU 资源分配和多节点工作负载管理。 该库涵盖了广泛的功能，包括安全网络通信和加密、对象关系映射和数据库管理，以及复杂数据结构和算法的实现。它还提供用于内存管理、通过外部函数接口（FFI）进行原生互操作以及系统级 OS 集成的实用程序。
Demonstrates how to wrap functions and classes using decorators to modify behavior without altering source code.
Python - angus-c/just
angus-c/just
6,204在 GitHub 上查看Just 是一个 JavaScript 实用程序库集合，专为数据操作、函数式编程、性能优化、统计分析和字符串处理而设计。它提供了一套用于深度克隆、过滤和转换复杂对象与数组的工具。 该项目被构建为一系列零依赖模块，允许独立使用实用程序以最小化包大小。它实现了包括柯里化、管道和部分应用在内的函数式编程模式，并通过记忆化、防抖和节流提供执行控制。 该库涵盖了广泛的功能，包括深度对象操作、组合数据生成以及素数验证和数值钳位等数学运算。它还包括用于计算方差和标准差等指标的统计工具，以及用于大小写转换和字符串插值的文本处理实用程序。
Provides a toolkit for functional programming patterns including immutable bindings, partial application, and pipe chaining.
JavaScript - fluentpython/example-code
fluentpython/example-code
5,569在 GitHub 上查看该项目是一系列实用脚本和参考指南，展示了高级 Python 语言特性和惯用法。它提供了用于掌握并发、元编程和数据结构设计等概念的代码实现。 该存储库包括 Python 对象模型的示例，涵盖自定义属性访问、描述符协议和特殊方法重写。它还具有利用一等函数和装饰器来减少面向对象样板代码的设计模式实现。 该代码库涵盖了广泛的功能，包括使用事件循环和 Future 的异步编程、自定义序列和生成器的创建，以及使用抽象基类进行接口强制执行。它进一步展示了通过上下文管理器进行的资源管理以及对文本和字节序列的处理。
Python wraps functions to extend their capabilities and encapsulate state without modifying the original source code.
Python - remeda/remeda
remeda/remeda
5,382在 GitHub 上查看Remeda 是一个为 TypeScript 设计的类型安全函数式工具库，用于构建数据转换流水线。它提供了一套辅助函数工具包，用于在处理数组和对象的同时保持严格的类型完整性。 该库的特点是支持数据优先（data-first）和数据最后（data-last）两种调用风格。它利用惰性求值来处理数据集合，仅在请求最终结果时才评估转换，从而避免创建中间集合副本。 该工具包涵盖了集合操作、函数组合以及模块化逻辑链的创建。这些功能使得构建能够通过一系列转换处理信息的数据流水线成为可能。
Implements a functional programming workflow using curried functions and composition for modular logic chains.
TypeScript - jayphelps/core-decorators
jayphelps/core-decorators
4,495在 GitHub 上查看core-decorators 是一个 JavaScript 类装饰器库和框架实用程序，用于扩展类功能。它提供了一系列工具，用于实现类行为混入 (mixins)、自动绑定方法以避免手动构造函数配置，以及验证子类方法是否正确覆盖父类方法。 该库包括一个代码弃用工具包，用于通过控制台警告标记过时的方法，以及一个用于测量性能和持续时间的函数执行分析器。它进一步通过自定义装饰器和共享逻辑注入系统，实现了对类和方法行为的修改。 其他功能涵盖对象属性控制，包括强制执行只读属性和限制属性可见性。该工具包还提供性能原语，例如结果缓存和延迟属性初始化，以将执行推迟到首次访问时。
Allows wrapping methods with custom helper functions or third-party utilities to augment their behavior.
JavaScript - timoxley/best-practices
timoxley/best-practices
1,277在 GitHub 上查看This project serves as a comprehensive handbook and architectural guide for software engineering best practices. It provides a curated set of principles and technical guidelines focused on maintaining long-term code health, reducing complexity, and ensuring that software systems remain readable and manageable as they grow. The core philosophy centers on modularity and domain-driven design, encouraging developers to structure applications around specific business use cases rather than the constraints of external frameworks. By prioritizing interface-based contracts and dependency injection, th
Implements logic using stateless functional programming paradigms to keep the codebase lightweight and readable.
- omonimus1/competitive-programming
omonimus1/competitive-programming
978在 GitHub 上查看This repository serves as a comprehensive resource for competitive programming and technical interview preparation. It provides a structured collection of source code implementations for fundamental data structures and classic algorithmic problems, designed to help developers master core computer science concepts and efficient coding strategies. Beyond standard problem-solving, the project distinguishes itself by integrating software design patterns into its algorithmic implementations. It demonstrates how to apply structural and behavioral patterns—such as decorators, observers, and singleto
Implements structural decorators to extend algorithmic behavior without modifying core logic.
C++algorithmalgorithms-and-data-structurescodechef-solutions
