rawlins / lambda-notebook

Related projects ⓘ

Alternatives and complementary repositories for lambda-notebook

• delph-in / pydmrs
  A library for manipulating DMRS structures
  ☆14Updated 3 years ago
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆44Updated 3 months ago
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 6 years ago
• bozsahin / ccglab
  Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG
  ☆27Updated last year
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 2 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆24Updated 2 months ago
• piantado / Fleet
  ☆60Updated last month
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 2 weeks ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆42Updated last month
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 4 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆131Updated 3 weeks ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 5 years ago
• stanojevic / Rotating-CCG
  ☆19Updated 3 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 7 years ago
• masashi-y / depccg
  A* CCG Parser with a Supertag and Dependency Factored Model
  ☆93Updated last year
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• udapi / udapi-python
  Python framework for processing Universal Dependencies data
  ☆57Updated this week
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 4 years ago
• chrzyki / candc
  A repository containing the original C&C CCG parser sources and newer modifications
  ☆25Updated 5 years ago
• mikelewis0 / easyccg
  ☆60Updated 6 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• langsci / 259
  Müller, Stefan et al. (eds): Head-Driven Phrase Structure Grammar: The handbook
  ☆22Updated last week
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆53Updated 10 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆146Updated 4 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆40Updated 3 years ago