索非亚大学数学和信息学院“函数编程”课程第3组的实践课。
Practice sessions of group 3 for the course "Functional Programming" in the Faculty of Mathematics and Informatics, Sofia University. (2024-02-11, Haskell, 0KB, 下载0次)
向牛顿的发现致敬。用纯函数编程进行数学练习
tribute to newton for his findings. Performing math exercises with pure functional programming (2023-12-25, Haskell, 0KB, 下载0次)
Haskell的函数编程体现了一种将计算视为数学函数求值的范例。Haskell一个...
Functional Programming with Haskell embodies a paradigm that treats computation as the evaluation of mathematical functions. Haskell, a pure functional programming language, serves as an ideal vehicle for exploring and mastering this programming paradigm. (2023-12-03, Haskell, 0KB, 下载0次)
用于统一编程理论的GUI驱动的方程推理定理证明器，
GUI-driven equational reasoning theorem prover for Unifying Theories of Programming, (2018-06-21, 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为函数编程课程做项目。Nomad计算器是一个简单的CLI工具，用于评估数学...
Haskell project for a course on functional programming. Nomad calculator is a simple CLI tool to evaluate mathematical expressions that also supports defining functions. Nomad also supports higher order functions and partial function applications. A type check ensures semantic correctness of user input. (2022-05-10, 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次)
阅读《逻辑、数学和编程的哈斯克尔之路》
Work alongside reading "The Haskell Road to Logic, Maths and Programming" (2015-08-15, Haskell, 0KB, 下载0次)
“逻辑、数学和编程的哈斯克尔之路”演练
Walkthrough of "The Haskell Road To Logic, Maths and Programming" (2012-01-28, Haskell, 0KB, 下载0次)
阅读Kees Doets和Jan van Eijck的《逻辑、数学和编程的哈斯克尔之路》时我正在做的练习。...
Exercises i m doing while reading "The Haskell Road to Logic, Maths and Programming" by Kees Doets and Jan van Eijck. Includes book code and other resources for students. (2009-12-14, Haskell, 0KB, 下载0次)
Set是一种命令式编程语言，专注于数学教学，因此，它的目标是教师和...
Set is an imperative programming language with focus on teaching mathematics, therefore, it is aimed at teachers and students. The language handles sets as one of the primitive types. (2023-04-07, 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次)
使用Haskell通过函数编程学习问题解决、逻辑集、数学、物理、经济学
Learning problem-solving, logic set, math, physics, economics through functional programming using Haskell (2015-10-16, Haskell, 0KB, 下载0次)
受代数效应启发的UI编程模型的实验。
An experiment towards a UI programming model inspired by algebraic effects. (2017-05-15, Haskell, 0KB, 下载0次)
用于通用编程的全堆栈 React架构。代数基元和单代数可组合基元...
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state) (2021-03-06, Haskell, 0KB, 下载0次)
该存储库专注于使用面向函数的编程语言解决Project Euler网站上的问题...
This repository focuses to solve problems at the website Project Euler using a Functional oriented programming language called Haskell. (2021-02-17, Haskell, 3KB, 下载0次)
亚特兰大函数编程用户组对欧拉问题的解决方案
Atlanta Functional Programming User Group s solutions to the Project Euler Problems (2010-04-11, Haskell, 4629KB, 下载0次)
Haskell中用于函数编程、算法和euler+域的hackdrak解决方案
hackerrank Solutions in Haskell for Functional programming, algorithms, and euler+ domains (2016-07-31, Haskell, 4994KB, 下载0次)
我试图用尽可能多的编程语言来完成Project Euler。
My attempt to finish Project Euler in as many programming languages as possible. (2014-01-09, Haskell, 393KB, 下载0次)