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 this week
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 7 months ago
• mvr / tiny
  A type theory for tiny objects
  ☆17Updated last year
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆22Updated 5 months ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆74Updated 6 months ago
• tydeu / lean4-alloy
  Write C shims from within Lean code.
  ☆72Updated 2 months ago
• ayberkt / formal-topology-in-UF
  Formal Topology in Univalent Foundations (WIP).
  ☆36Updated 3 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆27Updated last month
• danieljharvey / wasm-calc
  Building a compiler to WASM step-by-step
  ☆14Updated 5 months ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆42Updated 3 weeks ago
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆27Updated last year
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆102Updated last month
• leanprover-community / quote4
  Intuitive, type-safe expression quotations for Lean 4.
  ☆96Updated this week
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆53Updated this week
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated 3 weeks ago
• leanprover-community / lean4-metaprogramming-book
  ☆258Updated 6 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆213Updated 3 weeks ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆192Updated last week
• andorp / IdrisExtSTGCodegen
  ☆26Updated 2 years ago
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆60Updated last year
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆42Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆50Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 2 months ago
• sinhp / groupoid_model_in_lean4
  ☆31Updated this week
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated 8 months ago
• Anderssorby / SDL.lean
  SDL2 bindings for lean
  ☆22Updated last year
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆81Updated 4 months ago
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆49Updated last year