GitHub 2022-11-10 趋势

累计上榜 27 次

暂无项目描述

system-f 开发者

排名 #25

11月10日

查看详情

kmonad/kmonad

累计上榜 704 次

暂无项目描述

kmonad 开发者

275

排名 #24

11月10日

查看详情

input-output-hk/ouroboros-network

累计上榜 176 次

暂无项目描述

排名 #23

11月10日

查看详情

GaloisInc/parameterized-utils

时隔 15 天回归累计上榜 84 次

暂无项目描述

排名 #22

11月10日

查看详情

GaloisInc/what4

连续上榜 4 天时隔 60 天回归累计上榜 45 次

暂无项目描述

排名 #21

11月10日

查看详情

GaloisInc/elf-edit

时隔 184 天回归

暂无项目描述

排名 #20

11月10日

查看详情

digitallyinduced/ihp

累计上榜 324 次

暂无项目描述

digitallyinduced 开发者

299

排名 #19

11月10日

查看详情

仓库已删除

Simspace/on-error

累计上榜 123 次

暂无项目描述

Simspace 开发者

排名 #18

11月10日

查看详情

Simspace/avaleryar

累计上榜 134 次

暂无项目描述

Simspace 开发者

排名 #17

11月10日

查看详情

GaloisInc/flexdis86

暂无项目描述

排名 #16

11月10日

查看详情

input-output-hk/cardano-wallet

连续上榜 4 天累计上榜 258 次排名上升 ↑9

暂无项目描述

排名 #15

11月10日

查看详情

GaloisInc/macaw

累计上榜 40 次

暂无项目描述

排名 #14

11月10日

查看详情

agda/agda

累计上榜 312 次

暂无项目描述

agda 开发者

327

排名 #13

11月10日

查看详情

github/semantic

累计上榜 181 次

暂无项目描述

github 开发者

排名 #12

11月10日

查看详情

cdepillabout/servant-rawm

累计上榜 175 次排名飙升 ↑12

暂无项目描述

cdepillabout 开发者

排名 #11

11月10日

查看详情

bitnomial/prometheus

累计上榜 162 次排名飙升 ↑11

暂无项目描述

bitnomial 开发者

排名 #10

11月10日

查看详情

input-output-hk/plutus

累计上榜 228 次

暂无项目描述

排名 #9

11月10日

查看详情

mwotton/squealgen

累计上榜 162 次排名飙升 ↑12

暂无项目描述

mwotton 开发者

排名 #8

11月10日

查看详情

jsoffer/gapsim

时隔 19 天回归累计上榜 29 次

暂无项目描述

jsoffer 开发者

排名 #7

11月10日

查看详情

input-output-hk/cardano-automation

首次上榜

暂无项目描述

排名 #6

11月10日

查看详情

diagrams/diagrams-core

累计上榜 95 次

暂无项目描述

diagrams 开发者

排名 #5

11月10日

查看详情

input-output-hk/cardano-node

累计上榜 590 次排名上升 ↑5

暂无项目描述

排名 #4

11月10日

查看详情

haskell/haskell-language-server

累计上榜 972 次

暂无项目描述

haskell 开发者

377

排名 #3

11月10日

查看详情

simplex-chat/simplex-chat

连续上榜 13 天霸榜 5 天累计上榜 863 次

暂无项目描述

simplex-chat 开发者

305

排名 #2

11月10日

查看详情

koalaman/shellcheck