MikaelMayer / StringSolverLinks
Scala version of FlashFill for Excel by Gulwani et Al. See https://rise4fun.com/QuickCode/input
☆24Updated 8 years ago
Alternatives and similar repositories for StringSolver
Users that are interested in StringSolver are comparing it to the libraries listed below
Sorting:
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated last month
- Saul : Declarative Learning-Based Programming☆64Updated 5 years ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 8 years ago
- generative programming & verification☆34Updated 6 months ago
- prototyping logic programming in Scala☆42Updated 3 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Updated last year
- Alloy*---Higher Order Logic for Alloy☆36Updated 6 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- A streaming cross-cat inference engine☆49Updated 11 years ago
- The fastest way to build a language☆41Updated 3 years ago
- Algebraic Graphs in Scala☆27Updated 4 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Montague is a little CCG semantic parsing library for Scala.☆59Updated 3 years ago
- ☆15Updated 5 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 8 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- a capability-based system☆40Updated 7 years ago
- A simple development of linear logic in Coq.☆13Updated 9 months ago
- ☆57Updated 8 years ago
- Bolts: Stainless Verified Scala Examples☆26Updated last week
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 10 years ago
- Example automatic differentiation code in Scala☆31Updated 5 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated 2 years ago
- The BLOG programming language☆100Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- purple: compiling a reflective language☆33Updated last year
- Ranked Programming Extension for Racket☆54Updated 5 years ago