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
集合主题趋势排行榜
#

effect-system

Website
Wikipedia
https://static.github-zh.com/github_avatars/haskell-effectful?size=40
haskell-effectful / effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

effect-systemHaskell
Haskell 420
14 天前
https://static.github-zh.com/github_avatars/zio?size=40
zio / zio-direct

Direct-Style Programming for ZIO

async/awaiteffect-system函数式编程meta-programmingScala
Scala 156
2 年前
https://static.github-zh.com/github_avatars/suned?size=40
suned / pfun

Functional, composable, asynchronous, type-safe Python.

函数式编程Pythontype-safetymypyStatic code analysistypesimmutableimmutable-datastructuresimmutable-collectionsimmutable-objectscurryasyncioasynczioeffectseffect-system
Python 150
2 年前
https://static.github-zh.com/github_avatars/rcardin?size=40
rcardin / yaes

An experimental effect system in Scala that tracks effects through context functions

algebraic-effectseffect-systemmonad
Scala 84
17 天前
https://static.github-zh.com/github_avatars/ENvironmentSet?size=40
ENvironmentSet / hyogwa

Natural 🌿 effect system that fits TypeScript

algebraic-effectseffect-system函数式编程TypeScript
TypeScript 59
10 个月前
https://static.github-zh.com/github_avatars/Nymphium?size=40
Nymphium / eff.lua

ONE-SHOT Algebraic Effects for Lua!

Luaalgebraic-effectscoroutineseffect-system
Lua 49
3 个月前
https://static.github-zh.com/github_avatars/catseye?size=40
catseye / SixtyPical

MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis

experimental-languagestatic-analysisabstract-interpretationeffect-systemsymbolic-executionlow-level-programming
Python 34
1 年前
https://static.github-zh.com/github_avatars/catseye?size=40
catseye / SixtyPical

MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis

experimental-languagestatic-analysisabstract-interpretationeffect-systemsymbolic-executionlow-level-programming
Python 32
1 年前
https://static.github-zh.com/github_avatars/tim-smart?size=40
tim-smart / elemental

A toolkit for writing software in dart. Effect-system, dependency management and more!

Flutterstate-managementDarteffect-system
Dart 24
10 个月前
https://static.github-zh.com/github_avatars/tim-smart?size=40
tim-smart / elemental

A toolkit for writing software in dart. Effect-system, dependency management and more!

Flutterstate-managementDarteffect-system
Dart 24
10 个月前
https://static.github-zh.com/github_avatars/AntonPing?size=40
AntonPing / norem-draft-2

A modern functional programming language with effect system.

编译器函数式编程编程语言effect-system
Rust 19
1 年前
https://static.github-zh.com/github_avatars/AntonPing?size=40
AntonPing / norem-draft-2

A modern functional programming language with effect system.

编译器函数式编程编程语言effect-system
Rust 19
1 年前
https://static.github-zh.com/github_avatars/Matthew-Mosior?size=40
Matthew-Mosior / fasta-region-inspector

A bioinformatics tool for analyzing somatic hypermutation

yaml-configurationHaskellBioinformaticseffect-systemmultithreading
Haskell 18
1 年前
https://static.github-zh.com/github_avatars/Matthew-Mosior?size=40
Matthew-Mosior / fasta-region-inspector

A bioinformatics tool for analyzing somatic hypermutation

yaml-configurationHaskellBioinformaticseffect-systemmultithreading
Haskell 15
1 年前
https://static.github-zh.com/github_avatars/ebresafegaga?size=40
ebresafegaga / tina

Tina, a programming language with typed algebraic effects and handlers.

algebraic-effectseffectseffect-systemLLVM编译器编程语言interpretertype-checkingOCamlcps
OCaml 13
4 年前
https://static.github-zh.com/github_avatars/ebresafegaga?size=40
ebresafegaga / tina

Tina, a programming language with typed algebraic effects and handlers.

algebraic-effectseffectseffect-systemLLVM编译器编程语言interpretertype-checkingOCamlcps
OCaml 12
4 年前
https://static.github-zh.com/github_avatars/Kleidukos?size=40
Kleidukos / servant-effectful

Servant bindings for the Effectful ecosystem

effect-systemHaskell
Haskell 11
6 个月前
https://static.github-zh.com/github_avatars/haskell-effectful?size=40
haskell-effectful / log-effectful

effect-system
Haskell 10
7 个月前
https://static.github-zh.com/github_avatars/haskell-effectful?size=40
haskell-effectful / log-effectful

effect-system
Haskell 10
7 个月前
https://static.github-zh.com/github_avatars/Kleidukos?size=40
Kleidukos / servant-effectful

Servant bindings for the Effectful ecosystem

effect-systemHaskell
Haskell 10
6 个月前
loading...