Alternatives and similar repositories for data-edit

Users that are interested in data-edit are comparing it to the libraries listed below

• ashtadhyayi-com / data
  Data powering ashtadhyayi.com
  ☆52Updated this week
• samsaadhanii / scl
  ☆24Updated last month
• OliverHellwig / sanskrit
  Data for the quantitative study of (Vedic) Sanskrit
  ☆135Updated 2 months ago
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆42Updated last year
• indic-transliteration / indic_transliteration_py
  Python package for indic script transliteration
  ☆196Updated last month
• mvr / tiny
  A type theory for tiny objects
  ☆18Updated last year
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆11Updated 5 years ago
• david-christiansen / bob24
  ☆16Updated last year
• sinhp / HoTTLean
  ☆41Updated this week
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 8 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆80Updated 3 years ago
• ambuda-org / ambuda
  Main application code for Ambuda, a breakthrough Sanskrit library (ambuda.org)
  ☆104Updated last week
• leanprover-community / lean4-metaprogramming-book
  ☆264Updated 8 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated 2 weeks ago
• tylergneill / skrutable
  Toolkit for manipulating Sanskrit text with Python
  ☆18Updated 10 months ago
• ihdia / sanskrit-ocr
  An OCR for classical Sanskrit document images
  ☆53Updated 2 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆28Updated 2 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆165Updated last year
• b-mehta / topos
  Topos theory in lean
  ☆64Updated 4 years ago
• zygi / lean-protoc-plugin
  ☆13Updated 3 years ago
• virtualvinodh / aksharamukha
  Aksharamukha
  ☆193Updated 7 months ago
• andrejbauer / faux-type-theory
  ☆43Updated last month
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆62Updated last year
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆67Updated this week
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated last month
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆45Updated last year
• drdhaval2785 / SanskritVerb
  Verb declention for Sanskrit
  ☆43Updated 2 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆65Updated 3 years ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆157Updated last week