https://github.com/notbobthebuilder/miller
Miller
https://github.com/notbobthebuilder/miller
javascript scala semantic-analysis type-checking type-safety
Last synced: about 1 month ago
JSON representation
Miller
- Host: GitHub
- URL: https://github.com/notbobthebuilder/miller
- Owner: NotBobTheBuilder
- Created: 2016-02-15T13:56:53.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-04-07T18:28:45.000Z (about 10 years ago)
- Last Synced: 2025-06-14T19:36:03.706Z (12 months ago)
- Topics: javascript, scala, semantic-analysis, type-checking, type-safety
- Language: Scala
- Size: 62.5 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Miller
======
Miller is a static analysis tool for JavaScript.
It infers the types of expressions and looks for contradictions where it can.
Take a look at the test scripts for some examples of what kinds of type errors can be checked at compile time.
## Usage
`sbt assembly` will generate a JAR that you can run.
`./miller.jar filename.js` will run miller on a file, alternatively just `miller.jar` will open a REPL (close with ctrl-D)