Run compilers interactively from your web browser and interact with the assembly
- rust
- c-plus-plus
- go
- dlang
Repository Index
47,133 repositories indexed
1–24 of 31 · Most stars
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
- data-analysis
- pandas
- tableau
- tableau-alternative
Powerful scripting language & versatile interactive shell
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
inkle's open source scripting language for writing interactive narrative.
:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.
- data-science
- jupyter
- ipython
- repl
Interactive Go programming with Jupyter
- go
- golang
- jupyter-notebook-kernel
- jupyter-notebook
Interactive evaluation for Neovim (Clojure, Fennel, Scheme, Python, JavaScript, PHP, R, Lua, Rust and more!)
- clojure
- clojurescript
- clojure-repl
- neovim
Interactive Repl Over Neovim
A library for interactive command line interfaces in modern C++
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
A TypeScript-first, runtime-agnostic command-line toolkit for Deno, Node.js and Bun: featuring a command framework, argument parser, interactive prompts, tables, ANSI utilities, and more.
- deno
- cli
- typescript
- command-line
Official gem repository: Ruby kernel for Jupyter/IPython Notebook
A polyglot REPL built on .NET Interactive
- dotnet
- dotnet-interactive
- repl
Learn Apple's Swift programming language interactively through these playgrounds.
Interactive console for Crystal programming language
- crystal
- repl
NodeJS Framework for Interactive CLIs
Interactive Coq Proofs in Vim
INSTEAD - Simple Text Adventure Interpreter
- interactive-fiction
- lua
- game-engine
- quests
Declarative framework for interactive CLI applications
- terminal
- command-line-interface
- library
- framework
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
A realtime visual programming language for interactive media.
Various algorithms visualized interactively on the web, entirely with Rust 🦀
- rust
- yew
- algorithms
- sorting-algorithms