注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. ouroboros-network:Ouroboros共识算法系列的实现及其网络支持-源码

  2. 衔尾蛇网络 io-sim- IOSim仿真器monad，它支持异步异常， STM事务和async接口，计时器。 io-sim-classes类型的类，它们都具有IOSim和IO实例。 typed-protocols -具有支持的会话类型框架 通过dcoutts观看45分钟的Haskell eXchange 2019。 观看coot举办的三个2019年Monadic Party 50分钟Monadic Party研讨会演讲：，，。 ouroboros-network -ouroboros网

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：4194304
    • 提供者：weixin_42106357