Alternatives and similar repositories for lambda-notebook

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

• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆46Updated last year
• bozsahin / ccglab
  Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG
  ☆27Updated last week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated last month
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆25Updated 4 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated last month
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 7 years ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆49Updated last month
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆65Updated last year
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• UCSD-PL / proverbot9001
  ☆43Updated last month
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 3 months ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆60Updated 3 weeks ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆51Updated last year
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆32Updated last week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆136Updated last year
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆25Updated 9 months ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆30Updated 11 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 weeks ago