具有元变量的独立类型编程语言的简单实现。
A simple implementation of a dependently typed programming language with meta-variables. (2024-07-16, Haskell, 0KB, 下载0次)
为非正式讨论强类型函数编程而编写的报告。
A repo put together for an informal talk about strongly typed functional programming. (2024-04-09, Haskell, 0KB, 下载0次)
各种编程语言的简短数据科学分析项目
Short data science analysis projects in a variety of programming languages (2024-03-31, Haskell, 0KB, 下载0次)
Lambda解释器,接收Lambda表达式并对其进行缩减。编程语言hw1
Lambda interpreter that takes in lambda expressions and reduces them. Programming Languages hw1 (2017-09-19, Haskell, 0KB, 下载0次)
这个存储库将展示我对一种迷人的函数式编程语言的学习历程
This repository will show my learning journey of a fascinating functional programming language (2024-01-28, Haskell, 0KB, 下载0次)
伦敦玛丽女王大学函数编程课程的个人项目。目标是使用Haskell语言中的函数编程原则模拟一个有10个用户的聊天室,并实现并发和并行。
An individual project for my Functional programming course at Queen Mary University of London. The aim is to simulate a chatroom with 10 users using functional programming principles in the language Haskell and implement concurrency and parallelism. (2024-01-02, Haskell, 0KB, 下载0次)
向牛顿的发现致敬。用纯函数编程进行数学练习
tribute to newton for his findings. Performing math exercises with pure functional programming (2023-12-25, Haskell, 0KB, 下载0次)
哥伦比亚大学COMS 4995学期末项目:并行函数编程
End of Semester Project for Columbia University s COMS 4995: Parallel Functional Programming (2023-12-20, Haskell, 0KB, 下载0次)
具有类ML语法、编译时能力和第一类类型的实验系统编程语言,
Experimental systems programming language with ML-like syntax, compile time abilities and first class types, (2023-10-22, Haskell, 0KB, 下载0次)
有趣的编程语言,通过用于基于属性的测试的内置实用程序进行扩展。,
The Fun programming language, extended with built-in utilities for property based testing., (2023-09-27, Haskell, 0KB, 下载0次)
一种纯粹的函数式、动态类型、并行计算的类Lisp编程语言,
A purely functional, dynamically typed, parallel evaluated Lisp-like programming language, (2016-03-19, Haskell, 0KB, 下载0次)
深入Haskell:这个纯函数式编程语言的所有功能的示例,
Dive into Haskell: Examples of all features of this Pure Functional programing language, (2023-05-23, Haskell, 0KB, 下载0次)
这是Haskell函数式编程入门第2版的源码,
This is the source code of the second version of Haskell s Introduction to Functional Programming, (2018-02-17, Haskell, 0KB, 下载0次)
Tomato rubato是一个易于使用的库,用于Haskell.中的实时音频编程。,
Tomato-rubato is an easy to use library for live audio programming in Haskell., (2022-08-14, Haskell, 0KB, 下载0次)
简单命令式编程语言的数据流分析框架。,
A framework for data -flow analysis of a simple imperative programming language., (2018-10-08, Haskell, 0KB, 下载0次)
一种严格的、不纯正的、curry化的、部分应用的编程语言,具有相当独特的语法。
A strict, impure, curried, partially applied programming language with rather peculiar syntax. (2014-01-26, Haskell, 0KB, 下载0次)
使用Haskell通过函数编程学习问题解决、逻辑集、数学、物理、经济学
Learning problem-solving, logic set, math, physics, economics through functional programming using Haskell (2015-10-16, Haskell, 0KB, 下载0次)
Haskell中用于函数编程、算法和euler+域的hackdrak解决方案
hackerrank Solutions in Haskell for Functional programming, algorithms, and euler+ domains (2016-07-31, Haskell, 4994KB, 下载0次)
reach-lang,reach:最安全、最智能的DApp编程语言
reach-lang,Reach: The Safest and Smartest DApp Programming Language (2023-04-25, Haskell, 107833KB, 下载0次)
analysis monad,一个Haskell库,用于使用analysis分级monad和分级monad transformer进行编程
analysis-monad,A Haskell library for programming with analysis-graded monads and graded monad transformers (2022-01-09, Haskell, 16KB, 下载0次)