Similar repositories to rudi/maude-mode:

• rudi/maude-mode github similar
• danistefanovic/build-your-own-x github similar
• Sardtok/spillbok github similar
• jarlefosen/dagens_ifi github similar
• MAPSuio/intro-konkurranseprog github similar
• MAPSuio/spring-challenge16 github similar
• kik/Four-Color-Theorem-Maintenance github similar
• JakobBruenker/curses-idris github similar
• matijapretnar/proofs github similar
• Chaaaos/formaltt github similar
• JacquesCarette/pi-dual github similar
• awodey/math github similar
• RobertHarper/hott-notes github similar
• chrisdone/ats-examples github similar
• CHTT-s18/lecture-notes github similar
• tathougies/generic-lens github similar
• dorchard/effects-as-sessions github similar
• TOTBWF/muprl github similar
• msp-strath/ZEUG github similar
• slindley/dependent-haskell github similar
• GrammaticalFramework/gf-contrib github similar
• PatrickMassot/lean-verbose github similar
• GaloisInc/jvm-parser github similar
• gallais/parseque github similar
• tchajed/iris-simp-lang github similar
• leanprover/tutorial github similar
• andrejbauer/dedekind-reals github similar
• FreeProving/free-compiler github similar
• puffnfresh/bam-idris-blog github similar
• b-mehta/topos github similar
• idris-hackers/iQuery github similar
• pigworker/CS410-15 github similar
• cmu-phil/Spectral github similar
• patrickt/bracer github similar
• coq-community/autosubst github similar
• semorrison/lean-category-theory github similar
• jozefg/miniprl github similar
• LightAndLight/qtt github similar
• peterlefanulumsdaine/general-type-theories github similar
• leanprover/tc github similar