DDS波形发生器下载搜索联合开发网

[数学计算] naproche-zf

以受控自然语言作为输入语言的实验自然定理证明器，以及由自动定理证明器支持的证明自动化
Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers (2024-02-12, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1707694868182296.html

[数学计算] stab-prover

命题超直觉逻辑的自动定理证明器
Automated Theorem Prover for Propositional Superintuitionistic Logics (2024-02-11, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1707694865301455.html

[数学计算] hseq-prover

中间命题逻辑的自动定理证明器
Automated Theorem Prover for Intermediate Propositional Logics (2024-01-24, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1706144056369283.html

[数学计算] g4ip-haskell

中间命题逻辑的自动定理证明器
Automated Theorem Prover for Intermediate Propositional Logics (2024-01-22, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1705972964735455.html

[数学计算] basc-prover

有界解析序贯演算定理证明器
Bounded-analytic Sequent Calculus Theorem Prover (2023-12-20, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1703110881462691.html

[数学计算] NaiveBayes

用Haskell语言实现并行朴素贝叶斯分类器
Implementing a Parallel Naive Bayes Classifier Using the Haskell Language (2023-12-16, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1702787142492039.html

[数学计算] splitmix

SplitMix伪随机数生成器的纯Haskell实现，
Pure Haskell implementation of SplitMix pseudo-random number generator, (2023-10-03, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1696429545932678.html

[数学计算] judge

基于表的证明逻辑定理证明器。，
Tableau-based theorem prover for justification logic., (2019-11-18, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694705613715038.html

[数学计算] surak

一个玩具自动定理证明器，
A Toy Automated Theorem Prover, (2015-12-05, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694705581717076.html

[数学计算] modalox

模态逻辑定理证明器，
A modal logic theorem prover, (2015-11-20, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694705581862925.html

[数学计算] femto

最小Lisp解释器。，
Minimal Lisp interpreter., (2021-03-04, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1693974691691875.html

[数学计算] PDEs

用Haskell编写的偏微分方程解算器，
Partial differential equation solvers written in Haskell, (2014-04-08, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1689779132966019.html

[数学计算] mstan

Stan概率编程语言的“可交换模块”编译器。，
"Swappable Module" compiler for the Stan probabilistic programming language., (2023-06-25, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1689588916545961.html

[数学计算] SystemT

G dels系统T的解释器
An interpreter for G del s System T (2017-04-17, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1689464839457353.html

[数学计算] generic-random

通用随机生成器
Generic random generators (2023-03-14, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1687908680225557.html

[数学计算] numeval

Haskell的数值表达式计算器库
Numeric expression evaluator library for Haskell (2017-01-16, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1687878045809187.html

[数学计算] generic-boltzmann-brain

代数数据类型的分析采样器框架
Analytic sampler framework for algebraic data types (2023-05-12, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1687836710844232.html

[数学计算] algebra-checkers

代数驱动设计的检查器
checkers for algebra driven design (2022-11-19, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1687836394146333.html

[数学计算] interpol

GHC预处理器，用于在字符串中启用变量插值
GHC preprocessor to enable variable interpolation in strings (2012-08-27, Haskell, 22KB, 下载0次)

http://www.pudn.com/Download/item/id/1686759073531194.html

[数学计算] sudoku-haskell

Project Euler的Haskell数独解算器（WIP）
Haskell Sudoku solver for Project Euler (WIP) (2011-10-20, Haskell, 3KB, 下载0次)

http://www.pudn.com/Download/item/id/1686256866820777.html