MikaelMayer / StringSolver
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
☆24Updated 7 years ago
Alternatives and similar repositories for StringSolver:
Users that are interested in StringSolver are comparing it to the libraries listed below
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated this week
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆83Updated 6 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- ☆43Updated 7 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Source code for the Naturalize project☆56Updated 9 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 6 months ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- Montague is a little CCG semantic parsing library for Scala.☆59Updated 2 years ago
- ☆40Updated 5 years ago
- Program Synthesis☆145Updated 4 years ago
- Probabilistic Neural Programming☆76Updated 6 years ago
- Saul : Declarative Learning-Based Programming☆64Updated 5 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- Synthesized models for PHOG to make the results reproducible by the research community☆10Updated 5 years ago
- Program synthesis☆12Updated 8 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 6 years ago
- Python term rewriting☆29Updated 12 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Tensorlang, a differentiable programming language based on TensorFlow☆291Updated 7 years ago
- The BLOG programming language☆98Updated 2 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- REGEL: Regular Expression Generation from Examples and Language☆34Updated 2 years ago