Similar repositories to dafny-lang/ide-vscode:

• dafny-lang/ide-vscode github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• cab404/vscode-direnv github similar
• sweirich/graded-haskell github similar
• lammich/isabelle_llvm github similar
• brendanzab/ocaml-flake-example github similar
• dorchard/effects-as-sessions github similar
• owo-lang/intellij-dtlc github similar
• LeifAndersen/interactive-syntax-clojure github similar
• david-christiansen/todo-list github similar
• snowleopard/stroll github similar
• GaloisInc/daedalus github similar
• Nymphium/eff.lua github similar
• camllight/camllight github similar
• Russoul/Idris2-Effect github similar
• Drup/tree_layout github similar
• jasonnyberg/j2 github similar
• alepez/devand github similar
• nunchaku-inria/nunchaku github similar
• b-mehta/topos github similar
• LightAndLight/sage github similar
• melt-umn/silver github similar
• jsofra/datomic-rtree github similar
• INRIA/velus github similar
• lambdageek/unbound-generics github similar
• LightAndLight/qtt github similar
• mb64/sel github similar
• sellout/caterwaul github similar
• mflatt/expander github similar
• peterlefanulumsdaine/general-type-theories github similar
• hedgehogqa/haskell-hedgehog-classes github similar
• soney/interstate github similar
• imdea-software/htt github similar
• dirk/hummingbird github similar
• velvia/compressed-vec github similar
• rusterlium/juicy github similar
• sellout/dada github similar
• rust-bakery/nom-peg github similar
• robik/ConsoleD github similar