Similar repositories to gallais/MiniAgda-mode:

• gallais/MiniAgda-mode github similar
• 15-317/tutch github similar
• stonebuddha/vscode-better-sml github similar
• larrytheliquid/generic-elim github similar
• RemuLang/remu-type-system github similar
• stonebuddha/tree-sitter-sml github similar
• JohnReppy/compiling-pattern-guards github similar
• gebner/trepplein github similar
• stonebuddha/eopl github similar
• haskell-hvr/regex-tdfa github similar
• owo-lang/intellij-dtlc github similar
• wenkokke/AutoInAgda github similar
• steshaw/lennart-lambda github similar
• tov/alms github similar
• acfoltzer/Molog github similar
• tiancaiamao/shen-go github similar
• GrammaticalFramework/gf-contrib github similar
• Kraks/sai github similar
• molikto/mlang github similar
• jyp/nano-Agda github similar
• sweirich/lambda-n-ways github similar
• alhassy/next-700-module-systems github similar
• mmcqd/pure github similar
• JetBrains/intellij-arend github similar
• miniKanren/Racket-miniKanren github similar
• racket/redex github similar
• danr/hipspec github similar
• gelisam/klister github similar
• gapt/gapt github similar
• owo-lang/voile-rs github similar
• ndmitchell/rattle github similar
• gallais/idris-tparsec github similar
• rossberg/hamlet github similar
• gallais/agdarsec github similar
• jrslepak/Remora github similar
• lexi-lambda/higher-rank github similar
• AndrasKovacs/staged github similar
• ilya-klyuchnikov/lambdapi github similar
• pigworker/MetaprogAgda github similar
• ilya-klyuchnikov/ttlite github similar