Similar repositories to banacorn/agda-mode:

• banacorn/agda-mode github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• metaborg/linear.agda github similar
• tree-sitter/tree-sitter-agda github similar
• tuvtran/project-based-learning github similar
• L-TChen/Type-Theory github similar
• banacorn/agda-mode-vscode github similar
• scmlab/gcl github similar
• wenkokke/idris-sesh github similar
• k6io/k6 github similar
• banacorn/language-agda github similar
• coq-tactician/coq-tactician github similar
• UlfNorell/agda-bench github similar
• lezer-parser/lezer github similar
• UlfNorell/agda-prelude github similar
• L-TChen/MtacAR github similar
• andreasabel/strong-normalization github similar
• peterlefanulumsdaine/general-type-theories github similar
• banacorn/agda-language-server github similar
• wasm-lsp/wasm-lsp-server github similar
• danburkert/prost github similar
• andreasabel/miniagda github similar
• gallais/agdarsec github similar
• idris-hackers/atom-language-idris github similar
• jdrprod/SATurne github similar
• alexcrichton/cc-rs github similar
• aquynh/capstone github similar
• casvdrest/composable.agda github similar
• Eloston/ungoogled-chromium github similar
• gallais/thesis github similar
• markokoleznik/agda-writer github similar
• gallais/agda-sizedIO github similar
• agda/agda-pkg github similar
• favonia/hdtt2020-notes github similar
• tsung-ju/SystemF github similar