VirtusLab / scg-cli
scg-cli is a CLI tool for Semantic Code Graph analysis
☆14Updated last year
Alternatives and similar repositories for scg-cli
Users that are interested in scg-cli are comparing it to the libraries listed below
Sorting:
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last year
- Java bindings for tree-sitter☆42Updated 2 weeks ago
- SCIP Code Intelligence Protocol generator for Java☆86Updated last week
- A tool for mining graph-based change patterns in Python code☆19Updated 11 months ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- srp < scala-repl-pp < Scala REPL PlusPlus☆17Updated last week
- The semantics of Java in K☆19Updated 3 years ago
- Modeling tool for generating graphical modeling environments.☆16Updated 2 years ago
- The official Python SDK for Codellm-Devkit☆91Updated last week
- ☆25Updated 3 years ago
- deep learning and scientific computing framework with native CPU and GPU backend for the Scala programming language☆29Updated 3 weeks ago
- Python bindings for Comby☆13Updated last year
- Software tool to manage your notes, scripts, code examples, configs,... to publish them as gists or snippets☆39Updated 2 weeks ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆40Updated last year
- The Melange Language Workbench☆29Updated last year
- ☆10Updated 4 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆33Updated 10 months ago
- Finding similar repositories on GitHub☆48Updated 2 years ago
- WebAssembly engine in Scala☆52Updated 4 years ago
- Photos management☆35Updated 2 weeks ago
- 🔍 Code Search Tools & Experiments☆12Updated 2 weeks ago
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆75Updated this week
- Datalog implementation in Scala.☆12Updated 10 years ago
- ☆38Updated 5 years ago
- A Reactive Sparql Client written in Scala and Akka☆12Updated last year
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆16Updated last year
- Kotlin compiler support for Mill Build Tool☆27Updated 3 months ago
- A tool to provide the graph representation of the source code based on the paper: "Learning to Represent Program with Graph, ICLR'18"☆48Updated 4 years ago
- Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020☆32Updated 2 years ago
- Create and visualize static call graphs of Spring/Java applications☆20Updated last year