banacorn / agda-mode-vscodeLinks
agda-mode on VS Code
☆179Updated 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:
- Compiling Agda code to readable Haskell☆192Updated last week
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 3 years ago
- Language Server for Agda☆114Updated 3 weeks ago
- 😎TT☆231Updated last month
- Total Parser Combinators in Agda☆132Updated last month
- being an operating system for typechecking processes☆128Updated 2 years ago
- The agda-unimath library☆266Updated this week
- HoTTEST Summer School materials☆311Updated 3 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆262Updated last week
- Lecture notes on univalent foundations of mathematics with Agda☆230Updated last year
- A proof assistant for higher-dimensional type theory☆213Updated 2 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆394Updated last week
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- Programming library for Agda☆130Updated last year
- SPLV20 course notes☆112Updated 2 years ago
- This aims to be the most pretentious implementation of stlc in existence☆64Updated 3 years ago
- A new Categories library for Agda☆387Updated last week
- Agda bindings to SMT-LIB2 compatible solvers.☆102Updated last month
- Parser Combinator Library for Lean 4☆56Updated last month
- Learn Lean 4 with PLFA proofs.☆85Updated 5 months ago
- Benchmarks for capture-avoiding substitution☆119Updated 3 months ago
- Horn Clause Constraint Solving for Liquid Types☆152Updated last week
- LaTeX code for a paper on lean's type theory☆147Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- high-performance cubical evaluation☆75Updated 4 months ago
- Strongly-typed System F in Haskell☆118Updated 2 years ago
- Contextual types meet mechanized metatheory!☆199Updated last week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 3 weeks ago
- Lecture notes on realizability☆74Updated 6 months ago
- A function definition package for Coq☆232Updated last week