https://github.com/dwango/fialyzer
[WIP] Faster Implementation of Dialyzer
https://github.com/dwango/fialyzer
erlang type-checker
Last synced: 5 months ago
JSON representation
[WIP] Faster Implementation of Dialyzer
- Host: GitHub
- URL: https://github.com/dwango/fialyzer
- Owner: dwango
- License: apache-2.0
- Created: 2017-04-05T12:55:01.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2024-04-04T07:31:05.000Z (about 2 years ago)
- Last Synced: 2024-05-02T00:30:53.336Z (about 2 years ago)
- Topics: erlang, type-checker
- Language: OCaml
- Homepage: https://dwango.github.io/fialyzer/
- Size: 1.97 MB
- Stars: 56
- Watchers: 6
- Forks: 8
- Open Issues: 30