MikaelMayer / StringSolver
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
☆24Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for StringSolver
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- Source code for the Naturalize project☆56Updated 9 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- generative programming & verification☆32Updated 3 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆80Updated 2 months ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- Python term rewriting☆27Updated 11 years ago
- ☆42Updated 7 years ago
- ☆40Updated 5 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 4 years ago
- Using deep learning to POS tag sentences using scala + DL4J☆37Updated 9 years ago
- purple: compiling a reflective language☆29Updated last month
- Saul : Declarative Learning-Based Programming☆64Updated 4 years ago
- Synthesized models for PHOG to make the results reproducible by the research community☆10Updated 4 years ago
- A CSS specification and reasoning engine☆92Updated last year
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- ☆12Updated 4 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- Deep Semantic Code Search aims to explore a joint embedding space for code and description vectors and then use it for a code search appl…☆65Updated 3 months ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Small examples showing how to use Odin for various IE tasks☆16Updated 7 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 6 years ago