# 函数式编程
6 个相关产品 · 中文解读 · 按热度排序
A udev implementation in Guile Scheme
一个用 Guile Scheme 编写的 udev 实现，为 Linux 设备管理提供一种函数式、可扩展的替代方案，适合系统级开发者和 Scheme 爱好者
Edsger – A handwritten Clojure REPL for the reMarkable 2
为 reMarkable 2 手写板打造的原生 Clojure REPL，支持手写代码与即时执行，适合函数式编程爱好者和极客笔记用户
Prela – Purely Algebraic Relation Combinators
一个纯代数关系组合器库，允许开发者用代数方式构建和操作数据关系，适合函数式编程和数据建模场景，亮点是无副作用、类型安全的关系组合方式
Learn OCaml, exercises checked by WASM in browser
一个通过浏览器中 WASM 实时验证的 OCaml 学习平台，让初学者在不配置本地环境的情况下动手练习函数式编程，适合编程语言学习者与教育场景。
Lean64 – doom64 style FPS on Lean 4
基于 Lean 4 语言实现的复古风格 FPS 游戏，融合现代类型系统与游戏开发，面向函数式编程爱好者与游戏引擎探索者。
I built a Clojure runtime on top of Chez Scheme
在Chez Scheme之上构建Clojure运行时，实现了一种高性能、轻量级的Lisp语言执行环境，适合函数式编程爱好者。