Repository Index

Deepnote is a drop-in replacement for Jupyter with an AI-first design, sleek UI, new blocks, and native data integrations. Use Python, R, and SQL locally in your favorite IDE, then scale to Deepnote cloud for real-time collaboration, Deepnote agent, and deployable data apps. https://deepnote.com/

• artificial-intelligence
• data
• data-analysis
• data-science

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

A Visual Studio Code extension for debugging TEAL using AVM trace files via the AVM debug adapter

• algokit
• app

Elixir support for VSCode https://marketplace.visualstudio.com/items?itemName=mjmcloug.vscode-elixir