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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Synthesizing SQL queries from input / output examples☆45Nov 18, 2020Updated 5 years ago
- ☆21Updated this week
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Work in progress: Simpler and more powerful alternative to Scala's built-in for-comprehension syntax☆25Jun 23, 2016Updated 9 years ago
- 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
- generative programming & verification☆34Jun 19, 2025Updated 9 months ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79May 25, 2022Updated 3 years ago
- Lightweight Python wrapper around the DuckDB extension, httpserver (extension developed by @quackscience)☆17Sep 24, 2025Updated 6 months ago
- Mobile app for streaming our favorite local radio station in Ljubljana, Slovenia☆14May 16, 2021Updated 4 years ago
- Clean, fast LZMA encoder in Javascript☆14Nov 8, 2018Updated 7 years ago
- R7RS compliant Scheme implementation in JavaScript (Work in Progress)☆18Oct 22, 2015Updated 10 years ago
- The very simple ETS wrapper simplifying cross-process ETS handling (like `Agent`, but `:ets`).☆13Jun 7, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tools for optical character recognition (OCR)☆10Jun 1, 2022Updated 3 years ago
- A parallel JavaScript math and statistics library built around HTML5 Web Workers and Node.js cluster☆14Dec 15, 2015Updated 10 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Mar 16, 2026Updated last week
- tiny spreadsheet language with ambiguous values☆11Mar 29, 2024Updated 2 years ago
- The repository for the zine☆31Aug 17, 2015Updated 10 years ago
- Contrast between ShuffleNet V2 and MnasNet.(Non-official implement In PyTorch)☆12Oct 25, 2018Updated 7 years ago
- Work-in-progress vector search SQLite extension that runs anywhere.☆10Jul 27, 2024Updated last year
- Java library for interacting with del.icio.us service☆14Jan 10, 2010Updated 16 years ago
- Demo using jupyter-js-services and jupyter-js-output-area with a Phosphor Layout☆10Oct 7, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ⛹ Write Grammars for the Nearley Parser!☆84Dec 8, 2022Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Intro-presentation about Rust.☆11Oct 16, 2019Updated 6 years ago
- Additional warts for wartremover.☆37Updated this week
- Wrangler Compatible Cloudflare Deployment API☆19Aug 25, 2025Updated 7 months ago
- ☆41Dec 27, 2025Updated 3 months ago
- Using OpenCV and MatLab for edge detection in the Lab colorspace☆12Feb 20, 2015Updated 11 years ago
- Scala command-line wrapper around ffmpeg, ffprobe, ImageMagick, and other tools relating to media.☆36Dec 21, 2024Updated last year
- A javac annotation processor that makes Java variables default to immutable.☆15Aug 22, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆13Oct 27, 2020Updated 5 years ago
- Babel Plugin AST Literal☆11Jun 7, 2016Updated 9 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12May 27, 2016Updated 9 years ago
- A fully open-source, self-hostable data lakehouse for local development and testing of modern data workflows☆36Mar 18, 2026Updated last week
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Securely send Phoenix.PubSub one-way, over long distances☆14Sep 8, 2020Updated 5 years ago
- see through code☆20Oct 7, 2015Updated 10 years ago