Similar repositories to olivierverdier/spacemacs-coq:

• olivierverdier/spacemacs-coq github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• hecrj/iced github similar
• ReactTraining/react-router github similar
• Eloston/ungoogled-chromium github similar
• postalhq/postal github similar
• GamestonkTerminal/GamestonkTerminal github similar
• mbrcknl/spacemacs-coq github similar
• vishesh/racketscript github similar
• arthuraa/poleiro github similar
• lawl/NoiseTorch github similar
• coq-community/coqoban github similar
• jmitchell/idris-elixir github similar
• chriskempson/base16 github similar
• motemen/gore github similar
• precog/quasar github similar
• JoshuaWise/better-sqlite3 github similar
• micahflee/onionshare github similar
• ejgallego/ssrbit github similar
• aquynh/capstone github similar
• open-source-labs/Svelvet github similar
• meilisearch/MeiliSearch github similar
• oven-sh/bun github similar
• kowainik/idris-patricia github similar
• kimmobrunfeldt/concurrently github similar
• RobertHarper/hott-notes github similar
• wspk/SimpleTypes github similar
• 23ua/funerl github similar
• vmchale/linkedin-madlibs github similar
• arianvp/servis github similar
• rafaelcgs10/W-in-Coq github similar
• letouzey/coq-mmaps github similar
• fabianhjr/idr-logical-foundations github similar
• cloudwatt/nixpkgs-tungsten github similar
• cabalism/hpack-dhall github similar
• clayrat/sequent-calc-talk github similar
• rtoy/cmucl github similar