Alternatives and similar repositories for grammar

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

• asaparov / parser
  Semantic parser induction using a generative model of grammar.
  ☆31Updated 3 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Updated 5 years ago
• asaparov / PWL
  Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.
  ☆18Updated 6 months ago
• cair / PyTsetlinMachineCUDA
  Massively Parallel and Asynchronous Architecture for Logic-based AI
  ☆43Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 3 months ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆49Updated 8 months ago
• HiroakiMikami / mlprogram
  PyTorch library for synthesizing programs from natural language
  ☆18Updated last year
• google-research / crossbeam
  ☆44Updated 2 years ago
• matejbalog / gumbel-relatives
  Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick
  ☆17Updated 8 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆26Updated 2 years ago
• sidaw / sempre-interactive
  Semantic Parser with Execution
  ☆12Updated 8 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• HazyResearch / sampler
  DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿
  ☆17Updated 8 years ago
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• rbavishi / autopandas
  OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas
  ☆31Updated 3 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated this week
• jjoller / aixi
  Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.
  ☆12Updated 8 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆73Updated 7 years ago
• rajammanabrolu / KG-A2C
  Goal driven language generation using knowledge graph A2C agents
  ☆60Updated 5 years ago
• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆15Updated 10 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆90Updated 7 years ago
• amitz25 / PCCoder
  Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"
  ☆49Updated 4 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago