algorithms
话题找到数量
nkaz001/hftbacktest
免费开源的高频交易与做市回测及交易机器人,支持限价单、队列位置和延迟因素,利用全量tick数据(交易与订单簿Level-2及Level-3级别),提供币安和Bybit的真实加密货币交易实例
3.9k
748
143
+4
tlaplus/tlaplus
TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。
2.8k
243
139
+24