Repository Index

Run compilers interactively from your web browser and interact with the assembly

• rust
• c-plus-plus
• go
• dlang

PyGWalker: Turn your dataframe into an interactive UI for visual analysis

• data-analysis
• pandas
• tableau
• tableau-alternative

Powerful scripting language & versatile interactive shell

• shell
• go
• unix
• programming-language

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

A polyglot REPL built on .NET Interactive

• dotnet
• dotnet-interactive
• repl

Interactive console for Crystal programming language

• crystal
• repl

interactive programming of melodies, producing MIDI

• music
• notes
• music-programming
• golang

The Ink language parser and runtime implementation in Lua

• ink
• lua
• narrative
• interactive-fiction

A realtime visual programming language for interactive media.

• clang
• llvm
• visual-programming-language
• compiler

Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.

• charts
• cpp
• graphs
• plotly

Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data

• clojure
• clojurescript
• debugging
• repl

raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs

Superior Lisp Interactive Mode for Pulsar

• common-lisp
• atom
• repl
• pulsar-package

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.

• lisp
• sublime-text
• flex-completion
• repl

The universal ISSR server compatible with <your-favorite-programming-language>