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
  ☆45Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆140Updated 3 weeks ago
• bozsahin / ccglab
  Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG
  ☆28Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated last week
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆23Updated last month
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• delph-in / pydmrs
  A library for manipulating DMRS structures
  ☆14Updated 4 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated this week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated last week
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated last month
• stanojevic / Rotating-CCG
  ☆19Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 3 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 7 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆73Updated 2 months ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆25Updated last year
• meta-logic / lltp
  TPTP linear logic version
  ☆14Updated 7 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last week
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 2 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 7 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated last year
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• zhangir-azerbayev / lean-chat
  ☆50Updated 3 years ago