Test framework for Dotty
☆13Sep 17, 2020Updated 5 years ago
Alternatives and similar repositories for intent
Users that are interested in intent are comparing it to the libraries listed below
Sorting:
- A zero-dependency Scala library for managing resources monadically☆14Feb 16, 2026Updated last week
- Single node, in-memory DataFrame analytics library.☆43Sep 15, 2025Updated 5 months ago
- Compile-time expression evaluation for Scala 2☆16Feb 19, 2026Updated last week
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- An implementation of ScalaLab for Scala 3 (Dotty)☆17Dec 19, 2022Updated 3 years ago
- usql - micro JDBC toolit for Scala 3☆16Updated this week
- Scala reinforcement learning framework☆15Feb 11, 2022Updated 4 years ago
- [deprecated]dotty version of paradise for interfacing with scala.meta☆11Mar 8, 2017Updated 8 years ago
- Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS☆35Feb 18, 2026Updated last week
- Microservice for safe sharing and easy access to medical images☆18Apr 5, 2019Updated 6 years ago
- benchmark compilation of Dotty☆17Feb 6, 2024Updated 2 years ago
- Projectile creates beautiful Scala code from your Postgres database, GraphQL queries, or Thrift definitions☆23Sep 2, 2021Updated 4 years ago
- ☆34Jan 19, 2026Updated last month
- Stream your stuff into elasticsearch☆18Aug 20, 2024Updated last year
- A knowledge base of Dotty internals and all things related☆20Jul 25, 2019Updated 6 years ago
- Flexible data structures in Scala☆16Jan 6, 2016Updated 10 years ago
- Mocking framework for Scala 3. Please use ScalaMock instead.☆22Feb 23, 2025Updated last year
- Fast streams for Scala 3☆57Feb 8, 2025Updated last year
- Shape-safe TensorFlow in Dotty☆47Jan 6, 2023Updated 3 years ago
- spark job, sangria server, and react front-end for Word2Vec models☆15Nov 1, 2016Updated 9 years ago
- Experiments with symbolic functions in the Scala type system☆27Jun 17, 2019Updated 6 years ago
- Verified message-passing programs in Dotty☆49Apr 20, 2021Updated 4 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Jun 5, 2023Updated 2 years ago
- Scala 3 to GLSL transpiler library☆66Nov 20, 2025Updated 3 months ago
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Feb 11, 2025Updated last year
- Optics experimentation for Dotty☆32Oct 24, 2021Updated 4 years ago
- Portable Format for Analytics☆27Sep 19, 2016Updated 9 years ago
- Elastic4s bindings for Play 2.4.x and above☆21Feb 15, 2017Updated 9 years ago
- Resource Acquisition Is Initialization☆31Feb 28, 2024Updated 2 years ago
- Scala framework for collecting performance metrics and conducting sound experimental benchmarking.☆13Nov 19, 2025Updated 3 months ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37Feb 20, 2026Updated last week
- Companion to the Scala std lib, providing useful subtypes like `PositiveInt` or `MatchesRegex` as well as the ability to define custom va…☆32Apr 29, 2022Updated 3 years ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Oct 3, 2020Updated 5 years ago
- AWS Lambda Custom Runtime for Scala Native☆29Dec 8, 2018Updated 7 years ago
- Research platform for new language concepts and compiler technologies for Scala.☆84Updated this week
- Python library & CLI to create, view and edit PFB files☆12Feb 19, 2026Updated last week
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39May 2, 2019Updated 6 years ago
- TOML parser with codec derivation for the Scala platform☆28Oct 24, 2024Updated last year
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago