一个依赖类型的编程语言原型
A dependently typed programming language prototype (2024-03-28, Haskell, 0KB, 下载0次)
方案编程语言的I到S表达式编译器
Compiler from I- to S-Expressions for the Scheme Programming Language (2019-07-18, Haskell, 0KB, 下载0次)
我在Haskell中用函数编程学习物理的解决方案
My solutions to Learn Physics with Functional Programming in Haskell (2024-02-06, Haskell, 0KB, 下载0次)
一种具有代数效果和效果处理程序的函数式编程语言。
A functional programming language with algebraic effects and effect handlers. (2023-12-09, Haskell, 0KB, 下载0次)
关于编程语言理论和一般语言学的书籍。
Books on programming language theory and linguistics in general. (2021-07-16, Haskell, 0KB, 下载0次)
一种小型关系（逻辑）编程语言。
A small relational (logic) programming language. (2023-11-01, Haskell, 0KB, 下载0次)
基本通用语法：构建新的编程语言时跳过编写解析器，
basic generalized syntax : skip writing parsers when building a new programming language, (2019-09-23, Haskell, 0KB, 下载0次)
一种具有直接样式效果和线性的依赖类型的编程语言，
A dependently typed programming language with direct style effects and linearity, (2023-10-01, Haskell, 0KB, 下载0次)
Carth编程语言。
The Carth programming language. Mirror of
用于在最终一致存储（Cassandra）上进行声明性编程的Haskell库。，
A Haskell library for declarative programming over eventually consistent store (Cassandra)., (2018-04-17, Haskell, 0KB, 下载0次)
具有类型级时钟的Haskell函数 React编程框架，
Haskell Functional Reactive Programming framework with type-level clocks, (2023-07-21, Haskell, 0KB, 下载0次)
Kit：一种神奇的、高性能的编程语言，专为游戏开发而设计。
Kit: a magical, high performance programming language, designed for game development. (2021-08-14, Haskell, 0KB, 下载0次)
“逻辑、数学和编程的哈斯克尔之路”演练
Walkthrough of "The Haskell Road To Logic, Maths and Programming" (2012-01-28, Haskell, 0KB, 下载0次)
受代数效应启发的UI编程模型的实验。
An experiment towards a UI programming model inspired by algebraic effects. (2017-05-15, Haskell, 0KB, 下载0次)
用于电子表格的纯静态类型、内容可寻址的编程语言
Pure, statically typed, content-addressable, programming language for spreadsheet use (2023-05-02, Haskell, 2219KB, 下载0次)
一个基于LLVM的编译器，用于深奥的编程语言Piet。
An LLVM-based compiler for Piet, the esoteric programming language. (2017-12-17, Haskell, 22KB, 下载0次)
一种用Haskell实现的简单编程语言，以LLVMIR为目标。
A simple programming language implemented in Haskell with LLVM IR as target. (2018-02-17, Haskell, 24KB, 下载0次)
Emu是一种小型的人机工程学编程语言。
Emu is a small and ergonomic programming language. (2022-02-22, Haskell, 77KB, 下载0次)
我试图用尽可能多的编程语言来完成Project Euler。
My attempt to finish Project Euler in as many programming languages as possible. (2014-01-09, Haskell, 393KB, 下载0次)
pilot， copilot 的重新设计：用于基于流的C编程的Haskell EDSL
pilot,Redesign of copilot: Haskell EDSL for stream-based C programming (2020-09-15, Haskell, 98KB, 下载0次)