MikaelMayer / StringSolverLinks
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
Sorting:
- generative programming & verification☆33Updated last month
- Dyna2 compiler and REPL☆146Updated 5 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆70Updated 2 years ago
- Saul : Declarative Learning-Based Programming☆64Updated 5 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Bolts: Stainless Verified Scala Examples☆23Updated last month
- A CSS specification and reasoning engine☆96Updated 2 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆85Updated 11 months ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 8 years ago
- purple: compiling a reflective language☆33Updated 10 months ago
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- Algebraic Graphs in Scala☆27Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- ☆15Updated 5 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 3 weeks ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆24Updated 11 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- ☆40Updated 6 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- ☆71Updated 5 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- a capability-based system☆40Updated 7 years ago
- The fastest way to build a language☆43Updated 3 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated last month
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- The BLOG programming language☆98Updated 2 years ago