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
  ☆53Updated last week
• samsaadhanii / scl
  ☆24Updated this week
• OliverHellwig / sanskrit
  Data for the quantitative study of (Vedic) Sanskrit
  ☆143Updated 4 months ago
• 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 10 months ago
• Anderssorby / SDL.lean
  SDL2 bindings for lean
  ☆23Updated this week
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆41Updated 2 weeks ago
• danieljharvey / wasm-calc
  Building a compiler to WASM step-by-step
  ☆15Updated 9 months ago
• zygi / lean-protoc-plugin
  ☆13Updated 3 years ago
• ayberkt / formal-topology-in-UF
  Formal Topology in Univalent Foundations (WIP).
  ☆36Updated 3 years ago
• agda / agda-stdlib-meta
  Meta-programming utilities for Agda.
  ☆20Updated 4 months ago
• sweirich / haskelltester
  Simple autograder for Haskell programming assignments
  ☆17Updated 10 months ago
• ambuda-org / ambuda
  Main application code for Ambuda, a breakthrough Sanskrit library (ambuda.org)
  ☆107Updated this week
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆121Updated 7 months ago
• katydid / regex-deriv-coq
  ☆23Updated last year
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated last month
• tdietert / lambda-pi
  A toy implementation of the dependently typed lambda calculus known as λΠ
  ☆11Updated 5 years ago
• CSEPhd-council / thesis-template
  Template for Licentiate and PhD theses at the department of CSE at Chalmers.
  ☆20Updated last month
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104Updated 3 years ago
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆48Updated last week
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆59Updated last week
• marcinjangrzybowski / cubeViz2
  ☆27Updated 2 years ago
• facundominguez / stitch-lh
  ☆11Updated 3 years ago
• logsem / mitten_preorder
  ☆31Updated 2 years ago
• snejugal / typedKanren
  A statically typed embedding of miniKanren in Haskell
  ☆23Updated 6 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆121Updated 2 months ago
• haskell-wasm / ghc-wasm-miso-examples
  ☆58Updated 2 months ago
• anuyts / menkar
  The multimode presheaf proof-assistant
  ☆37Updated 2 years ago