GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

algebraic-data-types

Website
Wikipedia
gcanti/fp-ts
https://static.github-zh.com/github_avatars/gcanti?size=40
gcanti / fp-ts

Functional programming in TypeScript

TypeScript函数式编程algebraic-data-types
TypeScript 11.17 k
2 个月前
https://static.github-zh.com/github_avatars/fluture-js?size=40
fluture-js / Fluture

🦋 Fantasy Land compliant (monadic) alternative to Promises

fantasy-landPromisefuturemonadasynccontrol-flowalgebraic-data-types函数式编程
JavaScript 2.49 k
1 年前
https://static.github-zh.com/github_avatars/origamitower?size=40
origamitower / folktale

[not actively maintained!] A standard library for functional programming in JavaScript

functionalJavaScriptalgebraic-data-types
JavaScript 2.04 k
4 年前
https://static.github-zh.com/github_avatars/functionaljava?size=40
functionaljava / functionaljava

Functional programming in Java

algebraalgebraic-data-typeseffects函数式编程Javamonadmonoidopticspersistent-data-structureproperty-based-testing
Java 1.61 k
2 年前
https://static.github-zh.com/github_avatars/gigobyte?size=40
gigobyte / purify

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

TypeScriptalgebraic-data-typesmaybemonadfunctorfantasy-land函数式编程eithercodecdecode
TypeScript 1.57 k
2 个月前
https://static.github-zh.com/github_avatars/enkimute?size=40
enkimute / ganja.js

📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

JavaScriptgeometric-algebracomplex-numbersalgebraic-data-typesC++C#RustPython
JavaScript 1.55 k
1 年前
https://static.github-zh.com/github_avatars/hirrolot?size=40
hirrolot / datatype99

Algebraic data types for C99

type-systemalgebraic-data-typesCsum-typesreflection-libraryintrospectionvariantadtalgebraictagged-unionspattern-matchingmetaprogrammingderive
C 1.42 k
3 个月前
https://static.github-zh.com/github_avatars/solodon4?size=40
solodon4 / Mach7

Functional programming style pattern-matching library for C++

pattern-matchingpatternvariantvisitorvisitor-patternalgebraic-data-typesadt
C++ 1.3 k
4 年前
https://static.github-zh.com/github_avatars/witchcrafters?size=40
witchcrafters / witchcraft

Monads and other dark magic for Elixir

Elixirfunctormonadapplicativeoperatorsalgebraic-data-typesalgebra
Elixir 1.21 k
2 年前
https://static.github-zh.com/github_avatars/palatable?size=40
palatable / lambda

Functional patterns for Java

Java函数式编程lenseslambdafunctormonadsemigroupmonoidprofunctorseitheralgebraic-data-typesoptics
Java 872
2 年前
https://static.github-zh.com/github_avatars/fantasyland?size=40
fantasyland / static-land

Specification for common algebraic structures in JavaScript based on Fantasy Land

函数式编程fantasy-landspecificationmonadfunctormonoidadtalgebraicalgebraic-data-typesalgebra
JavaScript 775
6 年前
https://static.github-zh.com/github_avatars/stepchowfun?size=40
stepchowfun / typical

Data interchange with algebraic data types.

serializationalgebraic-data-typesdata-interchangetypestype-safetyidlinterface-definition-languageinterface-description-language
Rust 618
1 个月前
https://static.github-zh.com/github_avatars/derive4j?size=40
derive4j / derive4j

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

algebraic-data-typesoptics函数式编程algebravisitor-patternannotation-processorJavavisitorsum-typestagged-unionsdiscriminated-unionsexhaustiveness-checking
Java 570
3 年前
https://static.github-zh.com/github_avatars/breandan?size=40
breandan / kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

automatic-differentiationdifferentiable-programmingComputer algebraKotlintypesoptimizationgradient-descentalgebraic-data-typesarray-programmingmessage-passinglinear-algebra中文
Kotlin 537
6 个月前
https://static.github-zh.com/github_avatars/adam-mcdaniel?size=40
adam-mcdaniel / sage

#前端开发#A programming language that's wise beyond its bytes!🌱🌿🪴

algebraic-data-typesC编译器pattern-matchingpolymorphismportableRuststructural-typingturing-tarpitWebAssemblyx86-64前端移动Web
Rust 509
3 个月前
https://static.github-zh.com/github_avatars/thma?size=40
thma / WhyHaskellMatters

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. ...

Haskellfunction-composition函数式编程partial-applicationpattern-matchingalgebraic-data-typesmappingfoldinglazy-evaluationtype-classesfunctorfoldablemonads
Haskell 471
2 年前
https://static.github-zh.com/github_avatars/thautwarm?size=40
thautwarm / MLStyle.jl

Julia functional programming infrastructures and metaprogramming facilities

pattern-matchingalgebraic-data-typesscalability
Julia 413
1 年前
https://static.github-zh.com/github_avatars/witchcrafters?size=40
witchcrafters / algae

Bootstrapped algebraic data types for Elixir

algebraic-data-types数据结构adtdsl
Elixir 337
3 年前
https://static.github-zh.com/github_avatars/devexperts?size=40
devexperts / remote-data-ts

RemoteData type

TypeScriptalgebraic-data-types函数式编程
TypeScript 291
2 年前
https://static.github-zh.com/github_avatars/pointfreeco?size=40
pointfreeco / swift-enum-properties

🤝 Struct and enum data access in harmony.

code-generationalgebraic-data-types
Swift 197
4 年前
loading...