Alternatives and similar repositories for pyswip_envctrl

Users that are interested in pyswip_envctrl are comparing it to the libraries listed below

• johntrimble / foil-python
  First Order Inductive Learner (FOIL) algorithm implemented in Python
  ☆52Updated 11 years ago
• sidaw / shrdlurn
  teach the computer your language
  ☆115Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• ajhager / copycat
  A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
  ☆44Updated 8 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 8 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆74Updated 8 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated 2 months ago
• allenai / tuffylite
  TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.
  ☆27Updated 9 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆190Updated 7 years ago
• carpedm20 / program-synthesis-rl-tensorflow
  in progress
  ☆72Updated 8 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• emilmont / pyStatParser
  Simple Python Statistical Parser
  ☆111Updated 8 years ago
• google-deepmind / logical-entailment-dataset
  This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…
  ☆70Updated 7 years ago
• mokemokechicken / keras_npi
  NPI(Neural Programmer-Interpreters) implementation with Keras
  ☆243Updated 3 years ago
• 222464 / pyhtfe
  Python bindings to HTFE
  ☆33Updated 10 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 9 years ago
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆149Updated 5 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• TeamCohen / TensorLog
  ☆111Updated 7 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆146Updated 4 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 8 years ago
• TellinaTool / tellina
  Web application that translates a user's natural language description into bash commands
  ☆81Updated last year
• hnbeck / ecblackjack
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Updated 6 years ago
• lil-lab / spf
  Cornell Semantic Parsing Framework
  ☆132Updated 5 years ago