VirtusLab / scg-cliLinks
scg-cli is a CLI tool for Semantic Code Graph analysis
☆20Updated this week
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 4 months ago
- The Princess Theorem Prover☆31Updated last week
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Updated last month
- Debug as an Effect (DaaE)☆10Updated 9 months ago
- Scala REPL enhancements☆26Updated 6 months ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom☆32Updated this week
- Task datatype, meant for cross-language interop (Java, Kotlin, Scala)☆15Updated last week
- Fast streams for Scala 3☆57Updated last year
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10Updated last year
- A macro-based library for writing efficient and readable null-safe code in Scala.☆44Updated 10 months ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Helpers for setting up an embedded Python interpreter☆19Updated 3 months ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆13Updated 3 years ago
- A Scala 3, lightweight and functional non-intrusive library to build typed and declarative Scala application with managed resources and d…☆12Updated 10 months ago
- ☆56Updated 2 weeks ago
- ▶️ Scala CLI setup GitHub Action☆19Updated this week
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆11Updated 11 months ago
- Refactoring Generator of Source Code for Scala☆25Updated 2 months ago
- Serialization toolbox for Pekko messages, events and persistent state that helps achieve compile-time guarantee on serializability. No mo…☆14Updated this week
- Quick and easy library for working with GraphQL queries.☆21Updated last year
- ☆119Updated last month
- A lightweight event streaming library for Scala 3☆14Updated last week
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 3 years ago
- ☆18Updated 9 months ago
- ☆14Updated this week
- Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test…☆17Updated this week
- SBT based IntellJ plugin template project☆34Updated last year
- Friendly fork of Scala.js, target stand-alone Wasm leveraging WASI and Component Model☆34Updated last week
- ☆11Updated last year