Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
☆24Sep 4, 2017Updated 8 years ago
Alternatives and similar repositories for StringSolver
Users that are interested in StringSolver are comparing it to the libraries listed below
Sorting:
- C++ (OpenCV) implementation of the Unsupervised Feature Learning algorithm of Adam Coates and Andrew Ng for Scene Text Detection and Reco…☆14Jun 25, 2015Updated 10 years ago
- Demo of phantom types in Scala☆13Feb 25, 2016Updated 10 years ago
- ☆21Mar 2, 2026Updated last 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 6 months ago
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Jun 23, 2016Updated 9 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- ☆41Dec 27, 2025Updated 2 months ago
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 6 months ago
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- A Scala IDE plugin for a multi-line REPL (called worksheet)☆96Jan 3, 2018Updated 8 years ago
- Additional warts for wartremover.☆36Mar 2, 2026Updated last week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- ☆13Updated this week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- Implementation of Implicit Reparameterization Trick☆11Dec 2, 2024Updated last year
- Scala command-line wrapper around ffmpeg, ffprobe, ImageMagick, and other tools relating to media.☆36Dec 21, 2024Updated last year
- Fitbit Clock Face for Versa and Ionic☆11Jan 3, 2023Updated 3 years ago
- ☆10Jun 9, 2016Updated 9 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Mar 2, 2026Updated last week
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 5 years ago
- SHA and Shake for scala☆13Feb 13, 2026Updated 3 weeks ago
- Import data from CSV files to Cassandra using Monix Reactive Streams☆12Nov 20, 2017Updated 8 years ago
- ☆12Nov 2, 2024Updated last year
- Module for working with linear algebra in Elixir.☆15Jan 3, 2017Updated 9 years ago
- A Scala 3, lightweight and functional non-intrusive library to build typed and declarative Scala application with managed resources and d…☆12Mar 16, 2025Updated 11 months ago
- ☆12Dec 16, 2025Updated 2 months ago
- ☆11Oct 8, 2024Updated last year
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- ☆12Updated this week
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- classifier two-sample test for video anomaly detections☆11Jul 3, 2019Updated 6 years ago
- Kafka consumer & producer for scalaz-stream☆12Dec 15, 2017Updated 8 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago