Activity, over time
Daily observations from the public event archive.
Attention
Daily stars & forks
Star accumulation
Cumulative stars
Pull requests
Daily opens & merges
Conversations
Daily issues & comments
Community
Daily accounts & reviews
Releases
Daily releases
Trending history
Daily top 10 · last 90 days · UTC
Mentions
Stars
Forks
Contributors
Latest stargazers
The last 10 distinct accounts we observed this year.
Most active participants
PR, issue, comment & review events in the past year.
Packages
Scan failed. We’ll retry.
README badges
Embed a badge in your README or website.
Live mentions · last 30 days
Mentions
使用 Lean 对 Erlang/Elixir 程序进行形式化验证 在 Erlang/Elixir 中定义各类法则（laws），并辅以 Lean 证明，从而确保你的 Erlang/Elixir 代码遵循这些法则。这些法则会被自动转换为 Lean 代码，而相关的证明则会基于一个用 Lean 编写的 Erlang 运行时模型进行校验 josevalim/lynx
@4rt76279483 @josevalim It's here: josevalim/lynx