banacorn / agda-mode-vscodeView external linksLinks
agda-mode on VS Code
☆185Updated this week
Alternatives and similar repositories for agda-mode-vscode
Users that are interested in agda-mode-vscode are comparing it to the libraries listed below
Sorting:
- Language Server for Agda☆123Oct 29, 2025Updated 3 months ago
- An experimental library for Cubical Agda☆535Updated this week
- A new Categories library for Agda☆397Jan 22, 2026Updated 3 weeks ago
- An introduction to programming language theory in Agda☆1,487Jan 27, 2026Updated 2 weeks ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- antifunext☆38Jun 27, 2024Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆55Sep 11, 2025Updated 5 months ago
- ☆21Sep 8, 2021Updated 4 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆232Dec 30, 2025Updated last month
- The Agda standard library☆645Updated this week
- Agda formalisation of second-order abstract syntax☆55Aug 28, 2022Updated 3 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆127Nov 27, 2021Updated 4 years ago
- ☆21Jan 24, 2022Updated 4 years ago
- ☆28Jul 21, 2023Updated 2 years ago
- The agda-unimath library☆284Updated this week
- Toy implementation of Martin-Löf Type Theory☆30Aug 29, 2022Updated 3 years ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,788Updated this week
- 😎TT☆241Nov 20, 2025Updated 2 months ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 2 months ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 2 months ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated last month
- Implementation for ICFP 2020 paper☆54Jul 5, 2021Updated 4 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Mechanizations of Type Theories☆33Jan 15, 2026Updated last month
- Compiling Agda code to readable Haskell☆200Feb 3, 2026Updated last week
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- A work-in-progress core language for Agda, in Agda☆64Updated this week
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago
- agda-mode on Atom☆58Feb 26, 2021Updated 4 years ago
- Total Parser Combinators in Agda☆133Aug 5, 2025Updated 6 months ago
- A TACtic library for Agda☆51Sep 14, 2024Updated last year
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- Programming library for Agda☆134Aug 22, 2024Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 4 years ago
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- A cost-aware logical framework, embedded in Agda.☆75Nov 7, 2025Updated 3 months ago
- 🩺 A library for compiler diagnostics☆52Nov 21, 2025Updated 2 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆420Jan 28, 2026Updated 2 weeks ago