Chris Allen和Julie Moronuki的《第一原理》中关于Haskell编程的注释和练习。
Notes and exercises on Haskell Programming from First Principles by Chris Allen and Julie Moronuki. (2024-05-16, Haskell, 0KB, 下载0次)
用于处理GraphQL模式和查询的词法分析、解析、漂亮打印和元编程工具
Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries (2024-04-11, Haskell, 0KB, 下载0次)
Oscar South的调和算法——一个跨越音乐分析、函数编程和机器学习的项目
The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning (2024-03-15, Haskell, 0KB, 下载0次)
由S-Expression表示的类Lisp编程语言。Curried函数和Lazy求值语言。
Lisp like Programming Language denoted by S-Expression. Curried function and Lazy evaluation language. (2011-07-08, Haskell, 0KB, 下载0次)
FIT2102 编程辅导, Code Help, CS tutor, Wechat: powcoder, powcoder@163.com
FIT2102 programming tutorial, Code Help, CS tutor, Wechat: powcoder, powcoder@163.com (2023-11-04, Haskell, 0KB, 下载0次)
lcore(Lambda Core)一种基于Lambda演算和各种最小扩展的最小函数编程语言
lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensions (2023-11-01, Haskell, 0KB, 下载0次)
一种有界量子化的渐进式函数编程语言,
A Gradually Typed Functional Programming Language with Bounded Quantification, (2017-03-07, Haskell, 0KB, 下载0次)
将函数编程的力量带给测试中的开发人员。。。。。。横向。。。甚至是横向的,
Bringing the power of functional programming to the developer in test ...... laterish... or even laterish, (2023-09-22, Haskell, 0KB, 下载0次)
独立Haskell重新实现Aruoba Villaverde的论文“经济学中编程语言的比较”,
Independent Haskell reimplementation of Aruoba-Villaverde s paper "A Comparison of Programming Languages in Economics", (2018-02-18, Haskell, 0KB, 下载0次)
Elara是一种面向JVM的多通道、函数式第一编程语言,
Elara is a multiparadigm, functional-first programming language targetting the JVM, (2023-08-18, Haskell, 0KB, 下载0次)
我在《哈斯克尔从第一原理编程》一书中的练习笔记和解决方案。,
My notes and solutions to exercises for the book "Haskell Programming from first principles"., (2021-10-25, Haskell, 0KB, 下载0次)
使用Alex工具用Haskell编写的Rockstar编程语言规范的简单Lexer。,
A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool., (2019-03-04, Haskell, 0KB, 下载0次)
高效混合系统的功能 React编程领域专用语言,
Functional Reactive Programming domain-specific language for efficient hybrid systems, (2023-06-08, Haskell, 0KB, 下载0次)
函数式编程:Haskell
Functional Programming: Haskell (2020-12-26, Haskell, 0KB, 下载0次)
使用功能 React编程(FRP)和Reflex FRP.构建终端应用程序。,
Build terminal applications using functional reactive programming (FRP) with Reflex FRP., (2023-07-07, Haskell, 0KB, 下载0次)
BrainWash是一种基于Brainfu*k的编程语言,支持量子隐形传态、振动等。,
BrainWash is a Brainfu*k-based programming language supporting quantum teleportation, Vibration something, and so on., (2019-10-23, Haskell, 0KB, 下载0次)
“功能和逻辑编程”学科的课程工作。主题:“用......实现遗传算法”...
Course work on the discipline "Functional and logical programming". Topic: "Implementation of a genetic algorithm with parameters on functional programming". Genetic algorithm. Implementation with multiple parameters. A modest graphical interface in Python. (2020-04-12, Haskell, 31KB, 下载0次)
Quipper:用于量子计算的嵌入式、可扩展的函数式编程语言(非官方fork)
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork) (2015-08-31, Haskell, 3784KB, 下载0次)
Agda是一个依赖类型的编程语言交互式定理证明器。
Agda is a dependently typed programming language interactive theorem prover. (2023-05-31, Haskell, 7135KB, 下载0次)
这个repo是为我们在Haskell的CS:3820(编程语言概念)的最后一个项目准备的
This repo is for our final project in Haskell for CS:3820 (Programming Language Concepts) (2017-12-09, Haskell, 668KB, 下载0次)