☆23Jan 3, 2025Updated last year
Alternatives and similar repositories for elitzur
Users that are interested in elitzur are comparing it to the libraries listed below
Sorting:
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- ☆13Updated this week
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 2 weeks ago
- A low-dependency Scala library providing a cached variable that self-updates periodically, and a periodic function runner☆11Updated this week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- A simple calculator app built with Scala JS and Tyrian.☆12Dec 5, 2023Updated 2 years ago
- Scala Algebra System☆17Dec 2, 2025Updated 3 months ago
- Compile-time expression evaluation for Scala 2☆16Feb 19, 2026Updated last week
- A tool for data sampling, data generation, and data diffing☆345Jan 8, 2026Updated last month
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- Transporter for integrating OpenLineage with OpenMetadata☆16Sep 10, 2025Updated 5 months ago
- Simulacrum as Scalafix rules☆35Updated this week
- An implementation of ScalaLab for Scala 3 (Dotty)☆17Dec 19, 2022Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 5 months ago
- ☆22Jul 5, 2022Updated 3 years ago
- Scala 3 Open Community Build - detects regressions in the Scala 3 compiler based on the Open Source Scala 3 ecosystem☆17Feb 20, 2026Updated last week
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated 6 months ago
- Bridge Four is a simple, functional, effectful, single-leader, multi worker, distributed compute system optimized for embarrassingly para…☆48May 18, 2025Updated 9 months ago
- Effect Zoo for Scala☆42Jan 4, 2026Updated last month
- ScalaTest + JMock provides integration support between ScalaTest and Mockito.☆17Jan 25, 2026Updated last month
- just place for some random notes about programming☆18Feb 16, 2026Updated 2 weeks ago
- Example of http (micro)service in Scala & pekko☆17Aug 15, 2024Updated last year
- Scala Native support for the TensorFlow C API on Linux and macOS☆41Feb 17, 2026Updated last week
- Source code of the programs as values presentation☆20Aug 3, 2022Updated 3 years ago
- Scala library for nice business logic oriented, for-comprehension-style error handling☆23Jul 18, 2025Updated 7 months ago
- Scala.js abstraction for a common core of features shared by Array[T], js.Array[T], and the JavaScript TypedArray family of Arrays..☆24Feb 22, 2026Updated last week
- Typesafe wrapper for Apache Spark DataFrame API☆144Jan 24, 2026Updated last month
- deep learning and scientific computing framework with native CPU and GPU backend for the Scala programming language☆30Apr 22, 2025Updated 10 months ago
- Raft algorithm implementation in Scala☆21Feb 13, 2023Updated 3 years ago
- Scala Improvement Proposals☆58Feb 15, 2026Updated 2 weeks ago
- ☆106Jun 25, 2025Updated 8 months ago
- Proof assistant based on first-order logic and set theory☆65Feb 16, 2026Updated 2 weeks ago
- Bolts: Stainless Verified Scala Examples☆29Feb 20, 2026Updated last week
- Template to bootstrap Scala Native CLI projects, uploading platform binaries to Github Releases artifacts☆23Oct 17, 2025Updated 4 months ago
- Apache Pekko Kafka Connector - Pekko-Connectors is a Reactive Enterprise Integration library for Java and Scala, based on Reactive Stream…☆28Updated this week
- 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