Similar repositories to aya-prover/aya-dev:

• aya-prover/aya-dev github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• cicada-lang/cicada github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• Glavo/kala-common github similar
• jonsterling/dreamtt github similar
• owo-lang/narc-rs github similar
• owo-lang/voile-rs github similar
• plt-amy/1lab github similar
• RedPRL/cooltt github similar
• JetBrains/Arend github similar
• AndrasKovacs/staged github similar
• ice1000/guest0x0 github similar
• ice1000/Books github similar
• gibiansky/IHaskell github similar
• AndrasKovacs/elaboration-zoo github similar
• Agda-zh/PLFA-zh github similar
• pixijs/pixi.js github similar
• k6io/k6 github similar
• meilisearch/MeiliSearch github similar
• fathyb/carbonyl github similar
• agda/cubical github similar
• owo-lang/minitt-rs github similar
• aquynh/capstone github similar
• RedPRL/redtt github similar
• typst/typst github similar
• banacorn/agda-mode-vscode github similar
• HoTT-Intro/Agda github similar
• RedPRL/stagedtt github similar
• RobertHarper/hott-notes github similar
• FrozenWinters/stlc github similar
• banacorn/agda-language-server github similar
• Guest0x0/normalization-bench github similar
• ice1000/agda-mode github similar
• alexcrichton/cc-rs github similar
• ranjitjhala/sprite-lang github similar
• ice1000/ConsHoTT github similar