IPOSE遇见更好的你！

代码空间

https://github.com/rmpurp/ryme

2020-02-04

开源项目/

1
https://github.com/QuantConnect/Lean
QuantConnect的精益算法交易引擎（C＃，Python，F＃）
c-sharp algorithmic-trading-engine algorithm python quantconnect finance options trading-bot forex trading-platform trading-strategies trading-algorithms stock-indicators lean-engine

2014-11-28

开源项目/ 精益

2487
https://github.com/QuantConnect/lean-cli

2021-01-31

开源项目/

52
https://github.com/MikkelHJuul/ld

2020-08-06

开源项目/

11
https://github.com/unorsk/orodom.py

2017-06-01

开源项目/

0
https://github.com/abesamma/lean-canvas-creator

2020-01-12

开源项目/

4
https://github.com/IainWinter/IwEngine

2018-11-07

开源项目/

26
https://github.com/jaalonso/Matematicas_en_Lean

2020-06-21

开源项目/

1
https://github.com/griffio/yadalean01

2018-04-04

开源项目/

0
https://github.com/bryangingechen/lean-matroids

2018-09-21

开源项目/

2
https://github.com/jphellemons/LeanCanvas

2018-09-20

开源项目/

4
https://github.com/paulpatault/AutoDemo

2020-11-12

开源项目/

1
https://github.com/vincenthz/hs-gauge

2017-09-12

开源项目/

91
https://github.com/vlmutolo/Python-Exercises

2017-11-07

开源项目/

1
https://github.com/leanprover/lean
精益定理证明
programming-language dependent-types theorem-proving verification type-theory lean

2013-07-17

开源项目/ 精益

1124
https://github.com/00575/nanopi-R2S

2021-02-22

开源项目/

1
https://github.com/inlm/mappers

2017-01-16

开源项目/

0
https://github.com/LeanMapper/quickstart

2017-03-10

开源项目/

1
https://github.com/LeanMapper/examples

2017-06-25

开源项目/

2
https://github.com/b-mehta/topos

2020-02-16

开源项目/

28

上一页12 3 4 5…814 下一页


