搜索结果:programming(58 个)
按分类缩小范围
winget-cli
综合 55
Windows 包管理器 WinGet,包含 CLI、PowerShell 模块和 COM API。
Learning-SICP
综合 55
MIT 公开课《计算机程序的构造和解释》中文化项目与配套学习资料汇总。
awesome-guidelines
综合 55
汇集各主流编程语言代码风格、最佳实践与编码规范的精选资源。
ReactiveUI
综合 55
受函数式响应式编程启发打造的 .NET 跨平台 MVVM 框架。
book
综合 54
Rust 编程语言官方教程与参考书。
eff
综合 54
eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器(Monad Transformers),解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用(Eff monad),开箱支持 Reader、Writer、State 等常用效果,并允许开发者自定义副作用栈。
basic-computer-games
综合 54
经典图书《Basic 计算机游戏》重制版,包含多种内存安全脚本语言的高质量代码示例。
neut
综合 54
Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题,在无需额外类型注解的情况下,实现可预测的、基于类型的内存管理。项目支持完整 λ 演算,可编译为 LLVM IR 和原生二进制,并内置 LSP、代码格式化与快速原型开发支持。
30 天 Python 编程学习挑战指南,提供循序渐进的自学步骤,可根据个人节奏完成。
Vyxal
综合 54
〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
scalaz
综合 53
〔中文简介暂未生成〕 Principled Functional Programming in Scala
cats
综合 52
Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性,它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象,旨在为 Scala 纯函数式生态奠定基础,无需懂范畴论即可使用。
cats-tagless
综合 52
〔中文简介暂未生成〕 Library of utilities for tagless final encoded algebras
raylib
综合 52
简单易用的开源游戏开发库,让视频游戏编程轻松上手。
guides
综合 51
thoughtbot 的编程风格指南。
SwiftGuide
综合 49
以脑图形式整理的 Swift 精选优质开源项目指南。
cats-mtl
综合 49
Cats MTL 为 Scala 的 Cats 库提供了单子变换器类型类(如 EitherT、StateT 等)。它解决了多变换器同时引入时隐式转换产生二义性的问题,让开发者能在作用域内安全混用多种变换器,并配套提供了便于测试类型类实现的定律支持。
layoutz
综合 47
layoutz 是一个轻量、零依赖的 Scala 命令行美化与 TUI 库,用于解决业务逻辑中字符串格式化代码泛滥的问题。它提供声明式 DSL,支持 ANSI 样式、表格、图表、列表等排版原语,并内置 Elm 架构用于开发交互式终端应用,兼容 JVM、JS 和 Native。