Alternatives and similar repositories for lambda-notebook

Users that are interested in lambda-notebook are comparing it to the libraries listed below

• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last month
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 4 months ago
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆45Updated 11 months ago
• bozsahin / ccglab
  Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG
  ☆28Updated 2 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated 3 weeks ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆23Updated 2 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 weeks ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated last month
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 8 months ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 5 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆146Updated 5 years ago
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 7 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 3 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated 11 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• marcincuber / modal_logic
  Final Year Masters Project: modal logic solver tableaux
  ☆23Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• delph-in / pydmrs
  A library for manipulating DMRS structures
  ☆14Updated 4 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆110Updated this week
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 11 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month