Awesome REA
中文Star on GitHubStar1.1k stars
Star on GitHubStar1.1k stars

Tool

Logic-Lens

Experimental JavaScript source-analysis toolkit that classifies AST-token sequences into configured formula families after local training, and produces heuristic structure, call-graph and intent reports. It supports code-comprehension experiments; its predictions do not establish arbitrary program invariants or semantic equivalence.

Targets
App
Category
JavaScript and Electron tools
Relationship
Foundation tool
Sources reviewed

Requirements & limits

  • The README documents Node.js 18 or newer. Package version 1.1.0 declares TensorFlow.js, its native Node binding and Acorn; the setup first tries the native TensorFlow binding and then falls back to the pure JavaScript CPU backend.
  • Formula prediction requires local synthetic-data generation and training. The predictor expects model weights and metadata that are absent from the reviewed repository tree.
  • Predictions select from a configured formula catalogue. The README’s accuracy/confidence examples are author-reported; heuristic intent and quality reports are not behavioral-equivalence proofs.
  • Standalone semantic-test definitions cover structure, heuristic patterns and report shape. CONTRIBUTING mentions npm test, but package.json has no test script.
  • README and package metadata declare MIT, but the reviewed commit has no LICENSE file.

About this entry

The description was reviewed against primary sources.

Report an outdated entry Suggest a translation fix

Primary sources

  1. README.md GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  2. package.json GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  3. src/predictor.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  4. src/model.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  5. src/tf-setup.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  6. src/semantic/semantic-analyzer.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  7. tests/semantic.test.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  8. CONTRIBUTING.md GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab

More in Apps

All 174 entries in Apps

↑↓ move↵ open⌘↵ new tab