Haskell中的函数表达式计算器
Functionnal Expression Evaluator in Haskell (2022-02-18, Haskell, 0KB, 下载0次)
一个haskell计算器，使用一元解析器组合符对Artifimatic表达式进行词法分析、解析和求值
A haskell calculator that lexes, parses, and evaluates arthimatic expressions using monadic parser combinators (2022-12-24, Haskell, 0KB, 下载0次)
用Haskell编写的表达式计算器
Expression evaluator written in Haskell (2020-08-15, Haskell, 0KB, 下载0次)
函数表达式求值器
A Functional Expression Evaluator (2020-06-27, Haskell, 0KB, 下载0次)
Haskell类型语言解析、标记生成、类型检查器、表达式计算器、具有解析树的lambda表达式计算器和具有函数支持和参数支持的ast生成和错误引发以及预排序计算器
Haskell Type Language parsing, token generation, type checker, expression evaluator, lambda expression evaluator with parse tree and ast generation and error raising with function support and argument support and preorder evaluator (2024-02-25, Haskell, 0KB, 下载0次)
高级字符串计算器，
Advanced string calculator, (2023-10-19, Haskell, 0KB, 下载0次)
g4ip逻辑定理证明器的基本实现，
basic implementation of g4ip logic theorem prover, (2023-10-08, Haskell, 0KB, 下载0次)
数据驱动的静态网站生成器，
data-driven static website generator, (2023-08-27, Haskell, 0KB, 下载0次)
线性逻辑定理证明器，
Linear logic theorem prover, (2023-08-13, Haskell, 0KB, 下载0次)
一种对空格敏感的计算器
a whitespace-sensitive calculator (2023-06-25, Haskell, 0KB, 下载0次)
面包单位计算器
Bread Unit calculator (2019-07-22, Haskell, 0KB, 下载0次)
一个使用G4ip的定理证明器
A theorem prover using G4ip (2017-03-20, Haskell, 6KB, 下载0次)
自动定理证明器。
An automated theorem prover. (2014-05-11, Haskell, 18KB, 下载0次)
LCF式定理证明器实现
LCF Style theorem prover implementation (2017-08-04, Haskell, 6KB, 下载0次)
一个实验定理证明器
An experimental theorem prover (2022-11-13, Haskell, 54KB, 下载0次)
Haskell中的命题逻辑定理证明器
Propositional logic theorem prover in Haskell (2017-11-20, Haskell, 15KB, 下载0次)
Haskell归纳证明器-使用自动定理证明器自动验证Haskell公式的等式性质...
Haskell Inductive Prover - uses automated theorem provers to automatically verify equational properties of Haskell programs (2013-10-23, Haskell, 901KB, 下载0次)
Haskell中的一阶定理证明器
An automatic first-order theorem prover in Haskell (2015-10-16, Haskell, 8KB, 下载0次)
HaskellGBM，一个围绕LightGBM的Haskell包装器，
A Haskell wrapper around LightGBM
, (2020-03-10, Haskell, 2103KB, 下载0次)
xgboost.hs，xgboost的Haskell包装器，
A Haskell wrapper for xgboost
, (2017-03-14, Haskell, 71KB, 下载0次)