“最小可能语言”-自托管编译器
"Smallest Possible Language" - a self-hosted compiler (2024-04-26, Scala, 0KB, 下载0次)
用spinalHDL实现一些硬件NN加速器
Implement some hardware NN accelerators using spinalHDL (2024-03-27, Scala, 0KB, 下载0次)
过境运输贸易商eis路由器
transit movements trader eis router (2024-03-22, Scala, 0KB, 下载0次)
Scala 3编译器,也称为Dotty。
The Scala 3 compiler, also known as Dotty. (2024-03-07, Scala, 0KB, 下载0次)
用于禁用“toString”调用的Scala编译器插件
A Scala compiler plugin to disable `toString` calls (2024-02-22, Scala, 0KB, 下载0次)
Scala编译器选项作为插件
Scala compiler options as a plugin (2024-02-20, Scala, 0KB, 下载0次)
scala模板引擎和简单表达式计算器
scala template engine and simple expression evaluator (2024-02-11, Scala, 0KB, 下载0次)
DARPA CASE系统构建AADL到CAmkES转换器
DARPA CASE System Build AADL-to-CAmkES Translator (2024-01-08, Scala, 0KB, 下载0次)
将IP阻止列表导入mikrotik路由器
Imports IP blocklists into mikrotik routers (2023-11-30, Scala, 0KB, 下载0次)
Scala编译器插件,用于在编译时隐藏包,
Scala compiler plugin to shade packages at compiletime, (2023-10-12, Scala, 0KB, 下载0次)
用于DNAnexus平台的WDL和CWL编译器,
WDL and CWL compiler for the DNAnexus platform, (2023-09-28, Scala, 0KB, 下载0次)
Eldarica模型检查器,
The Eldarica model checker, (2023-06-21, Scala, 0KB, 下载0次)
Typescript到Scala.js转换器,
Typescript to Scala.js converter, (2023-09-18, Scala, 0KB, 下载0次)
值得信赖的ReDoS检查器,
The trustworthy ReDoS checker, (2023-09-09, Scala, 0KB, 下载0次)
传感器是构建可重用转换的一种方法。,
Transducers are a way to build reusable transformations., (2018-04-04, Scala, 0KB, 下载0次)
用Scala编写的慢速线性化能力检查器,
A slow linearizability checker written in Scala , (2022-05-01, Scala, 0KB, 下载0次)
用于未装箱数据的高效不可变包装器,
Efficient immutable wrappers for unboxed data, (2014-07-15, Scala, 0KB, 下载0次)
一个非常简单的、强类型的表格数据scala框架。元组的集合。强类型scala csv读取器和编写器。A...,
A very simple, strongly typed, scala framework for tabular data. A collection of tuples. A strongly typed scala csv reader and writer. A lightweight idiomatic dataframe / datatable alternative. (2019-07-19, Scala, 0KB, 下载0次)
Websocket服务器重新服务CREST主权数据,
Websocket server to re-serve CREST sovereignty data, (2015-07-15, Scala, 0KB, 下载0次)
苏格拉底开放数据API服务器,
Server for the Socrata Open Data API, (2023-06-28, Scala, 0KB, 下载0次)