基于Scala和Chisel的编译器,用于在硬件中加速概率模型推理,
A Scala and Chisel-based compiler for accelerating probabilistic model inference in hardware, (2023-10-15, Scala, 0KB, 下载0次)
验证条件生成器。与微软的Z3定理证明器连接。,
A verification condition generator. Connects with Microsoft s Z3 theorem prover., (2017-12-25, Scala, 0KB, 下载0次)
LCF式定理证明原型,经编译器验证,无需执行。,
Prototype for LCF-style theorem proving, verified by the compiler and execution-less., (2019-11-07, Scala, 0KB, 下载0次)
一个受z3启发的Scala定理证明器。,
A z3 inspired theorem prover for Scala., (2016-02-27, Scala, 0KB, 下载0次)
分布式系统模拟器和分布式算法草稿行,
Distributed system simulator and distributed algorithm scratchpad, (2023-08-04, Scala, 0KB, 下载0次)
流行的猜词游戏Wordle的解算器,用Scala编写。
Solver for popular word guessing game Wordle, written in Scala. (2023-08-03, Scala, 0KB, 下载0次)
用于使用解析器组合符编写字符串插值实现的库,
library for writing string interpolation implementations using parser combinators, (2023-07-28, Scala, 0KB, 下载0次)
Fortress:多排序一阶逻辑的有限模型查找器,
Fortress: Finite Model Finder for Many-Sorted First-Order Logic, (2023-07-31, Scala, 0KB, 下载0次)
在parsec中实现的正则表达式分析器和使用偏导数实现的匹配器。,
Regular expression parser implemented in parsec and matcher implemented using partial derivatives., (2017-10-20, Scala, 0KB, 下载0次)
围绕CERN的Colt矩阵库的Scala包装器,
A Scala wrapper around CERN s Colt matrix library, (2012-08-16, Scala, 0KB, 下载0次)
用于BigQuery的ZetaSQL分析器,
ZetaSQL Analyzer for BigQuery, (2022-09-30, Scala, 0KB, 下载0次)
分布式LSH系统的简单模拟器(主要用于测试数据局部性优化),
a simple simulator for distributed LSH system (majorly for testing data locality optimization), (2015-06-30, Scala, 0KB, 下载0次)
编程语言解释器的独立于语言的算法和通用数学支持。
Language independent arithmetic and general math support for programming language interpreters. (2020-04-06, Scala, 0KB, 下载0次)
用Scala编写的Mathematica编程语言解析器
Mathematica s programming language parser written in Scala (2014-09-11, Scala, 0KB, 下载0次)
编译为Scala和Scala.js的各种数值数学库的包装器
A wrapper for various numerical math libraries that compiles to Scala and Scala.js (2015-03-28, Scala, 0KB, 下载0次)
Apache Spark的Dantzig选择器的实现
Implementation of the Dantzig Selector for Apache Spark (2016-04-05, Scala, 5KB, 下载0次)
解析器和数值分析
Parser and Numerical analysis (2019-10-08, Scala, 1294KB, 下载0次)
数值分析高斯解算器,,
Numerical-Analysis-Gaussian-Solver,, (2014-07-23, Scala, 3KB, 下载0次)
用Scalding编写的朴素贝叶斯分类器
Naive Bayes classifier written in Scalding (2014-02-23, Scala, 49KB, 下载0次)
用Scala编写的光线跟踪器,具有色散效果
A ray tracer written in Scala, featuring dispersion effects (2022-06-25, Scala, 13299KB, 下载0次)