agda-mode on VS Code
☆185Mar 5, 2026Updated 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☆124Oct 29, 2025Updated 4 months ago
- An experimental library for Cubical Agda☆538Updated this week
- A new Categories library for Agda☆399Updated this week
- An introduction to programming language theory in Agda☆1,496Updated this week
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- antifunext☆40Jun 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 2 months ago
- The Agda standard library☆651Mar 3, 2026Updated last 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
- ☆29Jul 21, 2023Updated 2 years ago
- The agda-unimath library☆287Updated this week
- Toy implementation of Martin-Löf Type Theory☆30Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,804Updated this week
- 😎TT☆240Nov 20, 2025Updated 3 months ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 3 months ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 2 months ago
- 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☆35Jan 15, 2026Updated last month
- Compiling Agda code to readable Haskell☆200Feb 3, 2026Updated last month
- 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 9 months ago
- A work-in-progress core language for Agda, in Agda☆65Updated this week
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago
- agda-mode on Atom☆58Feb 26, 2021Updated 5 years ago
- Total Parser Combinators in Agda☆132Aug 5, 2025Updated 7 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
- λλλλ 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
- Programming library for Agda☆135Aug 22, 2024Updated last year
- 🩺 A library for compiler diagnostics☆52Nov 21, 2025Updated 3 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆424Updated this week
- A cost-aware logical framework, embedded in Agda.☆77Feb 23, 2026Updated 2 weeks ago