我对Haskell第2版编程一书中提供的练习的解决方案,
My solutions to the exercices provided in the book Programming in Haskell 2nd Edition, (2021-12-01, Haskell, 0KB, 下载0次)
YulDSL的monorepo、Solidity Yul的DSL和编程前端Yolc。,
The monorepo of YulDSL, a DSL for Solidity Yul, and a programming frontend Yolc., (2023-09-21, Haskell, 0KB, 下载0次)
用于约束编程的Haskell库,基于Sheard的泛型统一论文中使用的两级类型,
Haskell library for constraint programming, based on two-level types as used in Sheard s Generic Unification paper, (2013-02-13, Haskell, 0KB, 下载0次)
定量信息流感知编程语言的原型,基于论文:“Monad的定量信息流...,
A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers. (2019-09-10, Haskell, 0KB, 下载0次)
关于函数式 React编程(FRP)的教程、指南、示例、模式和半生不熟的想法的集合。,
A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP)., (2021-01-19, Haskell, 0KB, 下载0次)
高性能、并发函数编程抽象,
High performance, concurrent functional programming abstractions, (2023-07-23, Haskell, 0KB, 下载0次)
“概率语言中声音可编程推理的迹类型和指称语义”中描述的系统原型,
Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages", (2020-01-04, Haskell, 0KB, 下载0次)
Haskell-同步接口中的异步等待编程模式,具有独立于特定任务sche的异步实现...,
Async/await programming pattern in Haskell - synchronous interface with asynchronous implementation independent of a particular task scheduler (2018-09-27, Haskell, 0KB, 下载0次)
使用Reflex(Haskell.的函数式 React编程库)编写完全本机应用程序的框架。,
Framework for writing fully native apps using Reflex , a Functional Reactive Programming library for Haskell., (2018-11-11, Haskell, 0KB, 下载0次)
Baalbolge是为编程语言和范例课程@数学学院创建的一种语言和解释程序,...
Baalbolge is a language and an interpreter created for Programming languages and paradigms course @ Faculty of Maths, Informatics and Mechanics, University of Warsaw (2022-06-08, Haskell, 0KB, 下载0次)
作品来源于Doets和van Eijck的《逻辑、数学和编程的哈斯克尔之路》中的练习
Works from Exercises in Doets and van Eijck s The Haskell Road to Logic, Maths and Programming (2011-01-14, Haskell, 0KB, 下载0次)
我为几种编程语言制作的所有备忘单,以及一些数学逻辑课。
All the cheat sheets I have made for several programming languages, as well as some maths logic classes. (2019-05-01, Haskell, 0KB, 下载0次)
一款编程动作游戏。
A programming action game. (2017-06-16, Haskell, 142KB, 下载0次)
基于QuickChec的小型编程赋值的自动测试和Haskell表达式和类型的比较...
Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI. (2022-10-19, Haskell, 102KB, 下载0次)
这是我为编程范例类开发的项目。它包括一个游戏小行星使用...
This is a project I developed for my programming paradigms class. It consists on a remake of the game Asteroids using the Haskell programming language. The source code can be found under the haskeroids folder. Link for the video presentation: <https://youtu.be/U1cN7DABW9k> (2021-06-11, Haskell, 9KB, 下载0次)
视频、图片和歌曲的网络图库。它是用haskell编程语言编写的。
A web gallery for videos, pictures and songs. It was made in haskell programming language. (2020-05-31, Haskell, 125KB, 下载0次)
一种简约的纯全函数编程语言,旨在用作更实用的语言的后端。
A minimalistic pure total functional programming language intended to be used as a backend for more practical languages. (2023-04-26, Haskell, 88KB, 下载0次)
简要探讨在纯函数式编程语言中建模副作用的各种方法。
A brief exploration of the various approaches to modeling side effects in a purely functional programming language. (2022-01-17, Haskell, 16KB, 下载0次)
caide,自动化您在编程竞赛中所做的某些常见任务
caide,Automates certain common tasks that you do during programming competitions (2023-02-11, Haskell, 4825KB, 下载0次)
CS4012函数编程、Haskell monad transformers和其他一些有用的东西
CS4012-Functional-Programming,Haskell monad transformers and some other helpful stuff (2018-09-27, Haskell, 6KB, 下载0次)