一种用于生成HTML的可编程标记语言。
A programmable markup language for generating HTML. (2024-07-23, Haskell, 0KB, 下载0次)
Haskell逻辑、数学和编程之路v1
The Haskell Road to Logic, Math and Programming v1 (2024-07-04, Haskell, 0KB, 下载0次)
哈基诺分类编程语言(CPL)的解释器。
An interpreter of Hagino s Categorical Programming Language (CPL). (2024-05-23, Haskell, 0KB, 下载0次)
{EPITECH}|第二年|函数编程
{EPITECH} | Second year | Functionnal programming (2024-01-17, Haskell, 0KB, 下载0次)
小型编程语言。请温柔一点。
small programming language. pls be gentle. (2023-10-30, Haskell, 0KB, 下载0次)
“Haskell中的并行和并发编程”中的修改示例,
Modified examples from "Parallel and Concurrent Programming in Haskell", (2016-12-18, Haskell, 0KB, 下载0次)
类型化、函数式、并发编程语言,
a typed, functional, concurrent programming language, (2021-12-31, Haskell, 0KB, 下载0次)
用于学习自动微分和概率编程的资源,
Resources for learning automatic differentiation and probabilistic programming, (2023-09-05, Haskell, 0KB, 下载0次)
一款用于入门编程的教育纸牌游戏,
An educational card game for introductory programming, (2023-04-25, Haskell, 0KB, 下载0次)
小型编程语言。请温柔一点。,
small programming language. pls be gentle., (2023-08-06, Haskell, 0KB, 下载0次)
Go编程语言的分析器和类型分析,
Parser and type analysis for the Go programming language, (2023-08-03, Haskell, 0KB, 下载0次)
Haskell中用于编程案例分支的库,
A library for programming case branching in Haskell, (2023-07-19, Haskell, 0KB, 下载0次)
Stan概率编程语言的“可交换模块”编译器。,
"Swappable Module" compiler for the Stan probabilistic programming language., (2023-06-25, Haskell, 0KB, 下载0次)
一种基于空白的依赖类型函数编程语言,
A Whitespace-Based Dependently Typed Functional Programming Language, (2017-03-29, Haskell, 0KB, 下载0次)
一种以布雷艇数据包为目标的编程语言,
A programming language that targets minecraft data packs, (2022-11-27, Haskell, 0KB, 下载0次)
在Haskell的类型系统中运行的编程语言。
A programming language that runs in Haskell s type system. (2016-03-19, Haskell, 0KB, 下载0次)
一种具有静态内存管理的依赖类型编程语言
A dependently-typed programming language with static memory management (2023-06-25, Haskell, 0KB, 下载0次)
Haskell中实现的流行编程问题
Popular programming problems implemented in Haskell (2020-01-22, Haskell, 0KB, 下载0次)
使用Haskell和LLVM构建的静态类型编程语言
A statically typed programming language built using Haskell and LLVM (2019-05-23, Haskell, 12KB, 下载0次)
学习函数式编程和Haskell的一本好书
An introductory book for functional programming and Haskell additionally (2019-04-11, Haskell, 6703KB, 下载0次)