schar / TDParseLinks
Type-driven syntactic and semantic effectful parsing for NL
☆13Updated last month
Alternatives and similar repositories for TDParse
Users that are interested in TDParse are comparing it to the libraries listed below
Sorting:
- The Agda Universal Algebra Library (html docs available at the url below)☆33Updated 6 months ago
- Book about using Lean with How To Prove It☆19Updated 2 weeks ago
- being a particular fragment of Haskell, extended to a proof system☆32Updated 4 months ago
- A digital archive of category theory papers.☆30Updated last year
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated last month
- Interactive holes for Lean 4☆22Updated last year
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- ☆29Updated 3 years ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆25Updated 5 months ago
- A work-in-progress core language for Agda, in Agda☆52Updated 2 weeks ago
- Organize mathematical thoughts☆20Updated last year
- ☆34Updated 7 months ago
- Effective Algebraic Topology in Haskell☆91Updated 9 months ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- CS410 "Advanced Functional Programming"☆24Updated last month
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Yoneda lemma in every known language☆17Updated 2 years ago
- Coherence typechecker for infinity categories☆19Updated last month
- Meta-programming utilities for Agda.☆19Updated this week
- Agda as a collaborative multiplayer game☆36Updated 8 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- ☆19Updated 3 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 3 years ago
- Lecture notes on realizability☆72Updated 4 months ago
- Revised Omega-categorical Typechecker☆26Updated 7 months ago
- Raylib bindings for Lean4☆26Updated 2 months ago