Similar repositories to idris-community/idris2-mode:

• idris-community/idris2-mode github similar
• abailly/idris-http github similar
• kasiaMarek/TyRE github similar
• stefan-hoeck/idris2-pack-db github similar
• bertas/hm_prolog github similar
• danistefanovic/build-your-own-x github similar
• motemen/gore github similar
• ReactTraining/react-router github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• tootsuite/mastodon github similar
• GamestonkTerminal/GamestonkTerminal github similar
• gibiansky/IHaskell github similar
• EduardoRFS/thing github similar
• mattpolzin/idris-docker github similar
• guilhermehas/agda-quotient-types github similar
• joseemds/power-of-prolog github similar
• stefan-hoeck/idris2-pack github similar
• liquidhaskell/template github similar
• dhilst/lambk github similar
• dhilst/coqstudy github similar
• felipegchi/Nito github similar
• felipegchi/AoC2021 github similar
• xubaiw/Parsec.lean github similar
• samueldurantes/dotfiles github similar
• willcrichton/dotfiles github similar
• running-grass/idris2-markdown github similar
• cuddlefishie/toml-idr github similar
• nikita-volkov/structure-kit github similar
• jali-clarke/haskell-chip8 github similar
• madman-bob/idris2-xml github similar
• stefan-hoeck/idris2-eff github similar
• PoorlyDefinedBehaviour/a_short_introduction_to_system_f_and_system_f_omega github similar
• fabinzne/lambdad github similar
• vmarcosp/dotfiles github similar
• dmjio/call-swift-from-haskell github similar
• fersilva16/lcts github similar
• Guilherme775/my-blog github similar
• lispadvocates/dashboard github similar
• Z-snails/idris2-async github similar