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
  ☆49Updated last month
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• samsaadhanii / scl
  ☆23Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆303Updated last month
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last month
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• CSEPhd-council / thesis-template
  Template for Licentiate and PhD theses at the department of CSE at Chalmers.
  ☆19Updated 2 months ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆14Updated 5 months ago
• leanprover-community / lean4-metaprogramming-book
  ☆256Updated 4 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆38Updated 6 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆259Updated 3 weeks ago
• agda / agda-categories
  A new Categories library for Agda
  ☆384Updated last week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 5 months ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated last month
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆205Updated this week
• david-christiansen / bob24
  ☆16Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆265Updated last week
• jwshii / etna
  ☆11Updated 2 months ago
• tydeu / lean4-alloy
  Write C shims from within Lean code.
  ☆64Updated last month
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆79Updated 3 years ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆100Updated 9 months ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆146Updated 2 weeks ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆22Updated 2 weeks ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆102Updated 3 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆97Updated 3 weeks ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆58Updated last year
• paulaneeley / modal
  ☆15Updated 4 years ago
• leanprover-community / quote4
  Intuitive, type-safe expression quotations for Lean 4.
  ☆88Updated 2 weeks ago
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆44Updated last year