Alternatives and similar repositories for concraft-pl:

Users that are interested in concraft-pl are comparing it to the libraries listed below

• michmech / chitchat
  A Grammatical Framework application grammar for casual coffee-break conversations
  ☆9Updated 6 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆55Updated last week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆136Updated this week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• BramVanroy / spacy_download
  Download and load spaCy models on-the-fly
  ☆14Updated 2 years ago
• bryant / punkt
  Unsupervised multilingual sentence segmentation.
  ☆21Updated 3 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 7 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆26Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 7 months ago
• noumar / iso639
  ISO 639 library for Python
  ☆32Updated 5 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 3 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆13Updated 4 months ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• otakar-smrz / elixir-fm
  ElixirFM Functional Arabic Morphology
  ☆43Updated last year
• kornai / 4lang
  Concept dictionary
  ☆37Updated 10 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• Halvani / Constituent-Treelib
  A lightweight Python library for constructing, processing, and visualizing constituent trees.
  ☆66Updated last month
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 3 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆55Updated 3 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated this week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated this week