schar / TDParseLinks
Type-driven syntactic and semantic effectful parsing for NL
☆15Updated last month
Alternatives and similar repositories for TDParse
Users that are interested in TDParse are comparing it to the libraries listed below
Sorting:
- Book about using Lean with How To Prove It☆19Updated 2 weeks ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆19Updated last year
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆25Updated 6 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆35Updated 7 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆127Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated last month
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Updated 3 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- Lecture notes on realizability☆74Updated 4 months ago
- being a particular fragment of Haskell, extended to a proof system☆32Updated 4 months ago
- Interactive holes for Lean 4☆22Updated last year
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Ground Zero: Lean 4 HoTT Library☆63Updated 2 weeks ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated last year
- Effective Algebraic Topology in Haskell☆91Updated 10 months ago
- High level commands to declare a hierarchy based on packed classes☆99Updated last week
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆28Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last week
- high-performance cubical evaluation☆74Updated 2 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆59Updated 9 months ago
- Organize mathematical thoughts☆20Updated last year
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 5 months ago
- types for various combinatory systems, especialy tree calculi☆18Updated 5 months ago
- Lean 4 formalization of Rubik's cubes☆33Updated 5 months ago
- ☆34Updated 8 months ago
- A digital archive of category theory papers.☆30Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆51Updated 3 weeks ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆32Updated this week
- Interpret Haskell programs into any cartesian closed category.☆62Updated 2 months ago