ashtadhyayi-com / data-editLinks
Place for editing the data backing ashtadhyayi.com
☆12Updated this week
Alternatives and similar repositories for data-edit
Users that are interested in data-edit are comparing it to the libraries listed below
Sorting:
- Data powering ashtadhyayi.com☆54Updated 3 weeks ago
- ☆24Updated last month
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- Data for the quantitative study of (Vedic) Sanskrit☆144Updated 5 months ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆46Updated last year
- A monad for interfacing with external SMT solvers☆15Updated last month
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- Course materials for Chalmers TPIL25 class☆15Updated 11 months ago
- Categorical Logic Notes☆81Updated 3 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆262Updated last week
- Lecture notes on realizability☆75Updated 11 months ago
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 3 months ago
- A proof assistant for higher-dimensional type theory☆234Updated 2 weeks ago
- Experiments with SAT solvers with proofs in Lean 4☆63Updated last year
- Intuitive, type-safe expression quotations for Lean 4.☆101Updated 2 weeks ago
- An agda2hs-compatible library for well-scoped syntax☆11Updated 3 months ago
- Markdown file of the list and explanations of all mathlib4 tactics☆53Updated 2 years ago
- ☆53Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Write C shims from within Lean code.☆82Updated 6 months ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- ☆13Updated 3 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆68Updated last week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆268Updated last week
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated 3 months ago
- A WIP definitional (co)datatype package for Lean4☆47Updated 3 months ago
- ☆273Updated 11 months ago
- Course notes for Formalising Mathematics 2026☆88Updated last week
- Competitive programming utilities in Haskell☆42Updated last month
- Agda formalisation of the Introduction to Homotopy Type Theory☆127Updated 4 years ago